diff options
Diffstat (limited to 'lib/envars.ml')
| -rw-r--r-- | lib/envars.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index e67fc32d9..867297a86 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -63,7 +63,7 @@ let camllib () = let camlbin = camlbin () in let com = (Filename.concat camlbin "ocamlc") ^ " -where" in let _,res = System.run_command (fun x -> x) (fun _ -> ()) com in - res + Util.strip res (* TODO : essayer aussi camlbin *) let camlp4bin () = @@ -78,6 +78,6 @@ let camlp4lib () = let camlp4bin = camlp4bin () in let com = (Filename.concat camlp4bin Coq_config.camlp4) ^ " -where" in let _,res = System.run_command (fun x -> x) (fun _ -> ()) com in - res + Util.strip res |