diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/Makefile | 5 | ||||
| -rw-r--r-- | stdlib/header.c | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 9c8fd6bf7..217c987a0 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -35,8 +35,9 @@ stdlib.cmxa: $(OBJS:.cmo=.cmx) camlheader: header.c ../config/Makefile if $(SHARPBANGSCRIPTS); \ then echo "#!$(BINDIR)/ocamlrun" > camlheader; \ - else $(BYTECC) $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) header.c -o camlheader; \ - strip camlheader; fi + else $(BYTECC) $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) '-DRUNTIME_NAME="$(BINDIR)/ocamlrun"' header.c -o camlheader; \ + strip camlheader; \ + fi clean:: rm -f camlheader diff --git a/stdlib/header.c b/stdlib/header.c index 3a8797002..9c31e8f7a 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -11,7 +11,7 @@ /* $Id$ */ -char * runtime_name = "ocamlrun"; +char runtime_name [] = RUNTIME_NAME; char errmsg [] = "Cannot exec ocamlrun.\n"; int main(argc, argv) |