From 645b29c3a542eec666aba0adf5be1d02835f1bfd Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Mon, 14 Mar 2022 16:03:36 +0100 Subject: also support quotes in -use-runtime paths --- bytecomp/bytelink.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bytecomp') 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 -- cgit v1.2.1