summaryrefslogtreecommitdiff
path: root/Makefile.config.in
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2019-04-17 15:05:27 +0100
committerXavier Leroy <xavierleroy@users.noreply.github.com>2019-05-02 20:29:49 +0200
commit8838dc75276fa2f6177821257eaa7a06bebf8005 (patch)
treebb986ad27429f537d9a00f8a5de81a6419e51ddb /Makefile.config.in
parent6726fe89961b0461d5d899a7a9593b39c623e8b1 (diff)
downloadocaml-8838dc75276fa2f6177821257eaa7a06bebf8005.tar.gz
Don't generate #! headers over 127 characters
A #! line should not exceed 128 characters (including the \0 terminator). This adds a test - both to the generation of the camlheader files and also to the -use-runtime flag which falls back to #!/bin/sh and uses exec to invoke the the interpreter.
Diffstat (limited to 'Makefile.config.in')
-rw-r--r--Makefile.config.in5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.config.in b/Makefile.config.in
index 3485f9e1b1..6b899f034e 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -56,7 +56,10 @@ LIBRARIES_MAN_SECTION=@libraries_man_section@
### Beware: on some systems (e.g. SunOS 4), this will work only if
### the string "#!$(BINDIR)/ocamlrun" is less than 32 characters long.
### In doubt, set HASHBANGSCRIPTS to false.
-HASHBANGSCRIPTS=@hashbangscripts@
+SHEBANGSCRIPTS=@shebangscripts@
+LONG_SHEBANG=@long_shebang@
+# For compatibility
+HASHBANGSCRIPTS:=$(SHEBANGSCRIPTS)
### Path to the libtool script
LIBTOOL = $(TOP_BUILDDIR)/libtool