projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88b52c9) | patch
Adding quiet output of make by default. There are two additional options to configure
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 8 Mar 2010 16:40:29 +0000 (16:40 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Mon, 8 Mar 2010 16:40:29 +0000 (16:40 +0000)
commit7b19de6b01d9a896560c39c9ef4a3731cf29b19d
tree994e5ce9769b2e669197536a8d69d63c249c79b9tree
parent88b52c971b43248e6ceacf1c8140a06427d0418dcommit | 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.
configure.ac diff | blob | history