From fb96eaabcdc1a596663c58fc168a406fc8ad75b5 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Tue, 16 Feb 2016 09:18:29 -0800 Subject: [PATCH] Make ocamlbuild obey make --silent Reviewed By: jvillard Differential Revision: D2938167 fb-gh-sync-id: 86c1436 shipit-source-id: 86c1436 --- infer/src/Makefile.in | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/infer/src/Makefile.in b/infer/src/Makefile.in index 26a20cef2..b704d788f 100644 --- a/infer/src/Makefile.in +++ b/infer/src/Makefile.in @@ -67,9 +67,15 @@ ifeq (@ENABLE_OCAML_BINANNOT@,yes) OCAMLBUILD_BINANNOT_OPTIONS = -cflags -bin-annot endif +OCAMLBUILD_QUIET_OPTIONS = +ifneq (,$(findstring s,$(MAKEFLAGS))) +OCAMLBUILD_QUIET_OPTIONS = -quiet +endif + OCAMLBUILD_OPTIONS = \ $(OCAMLBUILD_ANNOT_OPTIONS) \ $(OCAMLBUILD_BINANNOT_OPTIONS) \ + $(OCAMLBUILD_QUIET_OPTIONS) \ -classic-display \ -cflags -warn-error,@5@8@10..12@20@26@39 \ -lflags $(OCAML_INCLUDES) \