diff options
| author | pboutill | 2011-01-07 14:26:14 +0000 |
|---|---|---|
| committer | pboutill | 2011-01-07 14:26:14 +0000 |
| commit | acc841a5c88c7a6c5876301c96dffe2f8114d131 (patch) | |
| tree | 3370688fc589d0d0896a7586bf04e528600ad9cb /ide | |
| parent | c8fee844b934dd79acbd64936a33b5fa654ef47a (diff) | |
Call coqtop with -nois when probing for files
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13775 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coq.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index 5c7d8cce80..285133d480 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -97,7 +97,7 @@ let coqtop_path () = let filter_coq_opts args = let argstr = String.concat " " (List.map Filename.quote args) in - let oc,ic,ec = Unix.open_process_full (coqtop_path () ^" -filteropts "^argstr) (Unix.environment ()) in + let oc,ic,ec = Unix.open_process_full (coqtop_path () ^" -nois -filteropts "^argstr) (Unix.environment ()) in let filtered_args = read_all_lines oc in let message = read_all_lines ec in match Unix.close_process_full (oc,ic,ec) with |