diff options
author | David Allsopp <david.allsopp@metastack.com> | 2022-03-14 16:03:36 +0100 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2022-03-14 16:13:55 +0100 |
commit | 645b29c3a542eec666aba0adf5be1d02835f1bfd (patch) | |
tree | ca8cecf702643c745339315f2904f46a6721555c /bytecomp | |
parent | fc846d0d1c5fdea5eab4ae07f2afb34322394b0e (diff) | |
download | ocaml-645b29c3a542eec666aba0adf5be1d02835f1bfd.tar.gz |
also support quotes in -use-runtime paths
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 |