From 469e1ff74414df5bb9be9c9af0f9440a0a46d487 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Wed, 24 May 2017 17:01:42 +0100 Subject: [PATCH] try to make command line shorter for windows --- bootstrap.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/bootstrap.ml b/bootstrap.ml index d88b1663..9e89d112 100644 --- a/bootstrap.ml +++ b/bootstrap.ml @@ -168,16 +168,16 @@ let read_lines fn = lines let read_deps files = - let tmp_fn = Filename.temp_file "jbuilder-ocamldep-output" ".txt" in - at_exit (fun () -> Sys.remove tmp_fn); + let out_fn = "boot-depends.txt" in + at_exit (fun () -> Sys.remove out_fn); let n = exec "%s -modules %s > %s" - (Filename.quote ocamldep) - (String.concat ~sep:" " (List.map files ~f:Filename.quote)) - (Filename.quote tmp_fn) + ocamldep + (String.concat ~sep:" " files) + out_fn in if n <> 0 then exit n; - List.map (read_lines tmp_fn) ~f:(fun line -> + List.map (read_lines out_fn) ~f:(fun line -> let i = String.index line ':' in let unit = String.sub line ~pos:0 ~len:i