diff options
Diffstat (limited to 'ocamlbuild/ocamlbuild_unix_plugin.ml')
| -rw-r--r-- | ocamlbuild/ocamlbuild_unix_plugin.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ocamlbuild/ocamlbuild_unix_plugin.ml b/ocamlbuild/ocamlbuild_unix_plugin.ml index c562d4288..3eaaf1743 100644 --- a/ocamlbuild/ocamlbuild_unix_plugin.ml +++ b/ocamlbuild/ocamlbuild_unix_plugin.ml @@ -58,7 +58,8 @@ let run_and_open s kont = in close (); res let stdout_isatty () = - Unix.isatty Unix.stdout + Unix.isatty Unix.stdout && + try Unix.getenv "TERM" <> "dumb" with Not_found -> true let execute_many = let exit i = raise (My_std.Exit_with_code i) in |