diff options
Diffstat (limited to 'stdlib/Makefile.Mac')
-rw-r--r-- | stdlib/Makefile.Mac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/Makefile.Mac b/stdlib/Makefile.Mac index 0e23a9605..2e31d3b4c 100644 --- a/stdlib/Makefile.Mac +++ b/stdlib/Makefile.Mac @@ -36,7 +36,7 @@ stdlib.cma Ä {OBJS} camlheader Ä begin - quote -n "{BINDIR}ocamlrun"; echo ' "{command}" {"Parameters"}' + quote -n "ocamlrun"; echo ' "{command}" {"Parameters"}' echo 'exit {status}' echo end > camlheader |