matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix command line printing when there is a redirection

This commit is contained in:
Jérémie Dimino 2017-02-26 19:51:42 +00:00
parent 38421d7e41
commit b8c35156e7
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/future.ml
View File

@ -233,13 +233,13 @@ module Scheduler = struct
let prog = colorize_prog (quote prog) in let prog = colorize_prog (quote prog) in
let s = String.concat (prog :: colorize_args (List.map args ~f:quote)) ~sep:" " in let s = String.concat (prog :: colorize_args (List.map args ~f:quote)) ~sep:" " in
let s = let s =
match stdout_to with match dir with
| None -> s | None -> s
| Some fn -> sprintf "%s > %s" s fn | Some dir -> sprintf "(cd %s && %s)" dir s
in in
match dir with match stdout_to with
| None -> s | None -> s
| Some dir -> sprintf "(cd %s && %s)" dir s | Some fn -> sprintf "%s > %s" s fn
type running_job = type running_job =
{ id : int { id : int