make or-tools compilation chatty in the makefile (for debugging)

conjure-cp · Nov 7, 2023 · e05babf · e05babf
1 parent b2a1819
commit e05babf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -139,7 +139,7 @@ solvers:
 	@etc/build/silent-wrapper.sh etc/build/install-minion.sh
 	@etc/build/silent-wrapper.sh etc/build/install-nbc_minisat_all.sh
 	@etc/build/silent-wrapper.sh etc/build/install-open-wbo.sh
-	@etc/build/silent-wrapper.sh etc/build/install-ortools.sh
+	@etc/build/install-ortools.sh
 	@etc/build/silent-wrapper.sh etc/build/install-yices.sh
 	@etc/build/silent-wrapper.sh etc/build/install-z3.sh
 	@if ls make-solvers-*.stderr make-solvers-*.stdout > /dev/null 2> /dev/null; then echo "At least one solver didn't build successfully."; exit 1; fi