summaryrefslogtreecommitdiff
path: root/ocamlbuild/my_std.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamlbuild/my_std.ml')
-rw-r--r--ocamlbuild/my_std.ml2
1 files changed, 1 insertions, 1 deletions
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