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 /src/prop/sat.h | |
| 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 'src/prop/sat.h')
0 files changed, 0 insertions, 0 deletions