diff options
| -rw-r--r-- | Changes | 1 | ||||
| -rw-r--r-- | ocamlbuild/my_std.ml | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -8,6 +8,7 @@ Compilers: Bug fixes: - PR#4719: Sys.executable_name wrong if executable name contains dots (Windows) +- PR#5201: ocamlbuild: add --norc to the bash invocation to help performances Standard library: - PR#4986: add List.sort_uniq and Set.of_list diff --git a/ocamlbuild/my_std.ml b/ocamlbuild/my_std.ml index 8de751f747..e0d2c8a9ca 100644 --- a/ocamlbuild/my_std.ml +++ b/ocamlbuild/my_std.ml @@ -264,7 +264,7 @@ let sys_command = match Sys.os_type with | "Win32" -> fun cmd -> if cmd = "" then 0 else - let cmd = "bash -c "^Filename.quote cmd in + let cmd = "bash --norc -c "^Filename.quote cmd in Sys.command cmd | _ -> fun cmd -> if cmd = "" then 0 else Sys.command cmd |