diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-08 16:40:29 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-08 16:40:29 +0000 |
| commit | 7b19de6b01d9a896560c39c9ef4a3731cf29b19d (patch) | |
| tree | 994e5ce9769b2e669197536a8d69d63c249c79b9 /configure.ac | |
| parent | 88b52c971b43248e6ceacf1c8140a06427d0418d (diff) | |
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.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
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 |