diff options
Diffstat (limited to 'bytecomp')
-rw-r--r-- | bytecomp/bytelink.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 49cb963bcf..d6a034a9b2 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -346,7 +346,7 @@ let link_bytecode ?final_name tolink exec_name standalone = (* shebang mustn't exceed 128 including the #! and \0 *) if String.length runtime > 125 || String.contains runtime ' ' then "/bin/sh\n\ - exec \"" ^ runtime ^ "\" \"$0\" \"$@\"" + exec " ^ Filename.quote runtime ^ " \"$0\" \"$@\"" else runtime in |