From 8e72a3a951504b72b32943ce2cd801eb12d299b8 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Thu, 17 May 2018 22:58:21 +0700 Subject: [PATCH] Use Path.root as the default --- src/process.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/process.ml b/src/process.ml index bc9668c5..b82ba99a 100644 --- a/src/process.ml +++ b/src/process.ml @@ -232,7 +232,8 @@ let run_internal ?dir ?(stdout_to=Terminal) ?(stderr_to=Terminal) ~env ~purpose if display = Verbose then Format.eprintf "@{Running@}[@{%d@}]: %s@." id (Colors.strip_colors_for_stderr command_line); - let prog = Path.reach_for_running prog ~from:(Option.value ~default:Path.build_dir dir) in + let prog = Path.reach_for_running prog + ~from:(Option.value ~default:Path.root dir) in let argv = Array.of_list (prog :: args) in let output_filename, stdout_fd, stderr_fd, to_close = match stdout_to, stderr_to with