From 7b19de6b01d9a896560c39c9ef4a3731cf29b19d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Mon, 8 Mar 2010 16:40:29 +0000 Subject: [PATCH] Adding quiet output of make by default. There are two additional options to configure --enable-silent-rules less verbose build output (undo: `make V=1') --disable-silent-rules verbose build output (undo: `make V=0') If you need the verbose output, you can either reconfigure with --disable-silent-rules, or do a make V=0. --- configure.ac | 2 ++ 1 file changed, 2 insertions(+) diff --git a/configure.ac b/configure.ac index 0e08a0752..3da3671a9 100644 --- a/configure.ac +++ b/configure.ac @@ -10,6 +10,8 @@ AC_CONFIG_SRCDIR([src/include/cvc4_config.h]) AC_CONFIG_AUX_DIR([config]) AC_CONFIG_MACRO_DIR([config]) +m4_ifdef([AM_SILENT_RULES],[AM_SILENT_RULES([yes])]) + CVC4_MAJOR=0 CVC4_MINOR=0 CVC4_RELEASE=0 -- 2.30.2