Quieted make a little.
authorDavid Cock <david.cock@inf.ethz.ch>
Mon, 31 Aug 2015 11:15:49 +0000 (13:15 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Mon, 31 Aug 2015 11:15:49 +0000 (13:15 +0200)
commite11d99f7eb5ae94aa8333bc70220f4f364cb0314
treeca170cbf9568f207b6891c6496afa845f6c3eb82
parentd5596f670c3b1ae3b809a1b135e02488ff578519
Quieted make a little.

make help now only produces 600kB of spew, rather than >1MB, and runs 30%
faster.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/Main.hs
hake/RuleDefs.hs