From c1fef155d483caff6004d2f2edd65f074d67fdac Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Sun, 13 Nov 2016 16:29:55 +0000 Subject: [PATCH] quiet build --- build.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.ml b/build.ml index 7226a449..66a97fc3 100644 --- a/build.ml +++ b/build.ml @@ -162,7 +162,7 @@ let () = let src = "src" ^/ name ^ ".mll" in let dst = "src" ^/ name ^ ".ml" in let x = Sys.file_exists dst in - let n = exec "%s %s" ocamllex src in + let n = exec "%s -q %s" ocamllex src in if n <> 0 then exit n; if not x then at_exit (fun () -> try Sys.remove dst with _ -> ()));