From 5637c67a7c54357c2f701ebfd73d3b8cf1b52129 Mon Sep 17 00:00:00 2001 From: Dmitry Bely Date: Thu, 18 Apr 2019 09:22:27 +0300 Subject: [PATCH] Correct quoting for Windows command shell (#272) --- src/top/expunge/expunge.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/top/expunge/expunge.ml b/src/top/expunge/expunge.ml index 6908109..d3989f2 100644 --- a/src/top/expunge/expunge.ml +++ b/src/top/expunge/expunge.ml @@ -3,6 +3,7 @@ open Printf let run_and_read_lines args = let cmd = String.concat ~sep:" " (List.map args ~f:Filename.quote) in + let cmd = if Sys.win32 then "\"" ^ cmd ^ "\"" else cmd in let ic = Unix.open_process_in cmd in let rec loop acc = match input_line ic with @@ -60,6 +61,7 @@ let main ~objinfo ~stdlib_dir ~src ~dst ~cma_files ~verbose = (Filename.quote dst) (String.concat ~sep:" " (S.elements modules_to_keep)) in + let cmdline = if Sys.win32 then "\"" ^ cmdline ^ "\"" else cmdline in if verbose then prerr_endline cmdline; exit (Sys.command cmdline)