summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtools/ocamlmktop2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ocamlmktop b/tools/ocamlmktop
index 868629f31..7bab3c7cf 100755
--- a/tools/ocamlmktop
+++ b/tools/ocamlmktop
@@ -4,7 +4,7 @@
if : == x
then # Bourne Shell
- exec ocamlc -linkall toplevellib.cma $* topmain.cmo
+ exec ocamlc -linkall toplevellib.cma "$@" topmain.cmo
else # MPW Shell
ocamlc-custom -linkall toplevellib.cma {"parameters"} topmain.cmo
exit {status}