Don't print boot's diagnostic info by default
authorAndrey Mokhov <nam83@newcastle.ac.uk>
Tue, 10 Oct 2017 14:18:15 +0000 (15:18 +0100)
committerAndrey Mokhov <nam83@newcastle.ac.uk>
Tue, 10 Oct 2017 14:18:15 +0000 (15:18 +0100)
commitdffda59ac338bef1ab53e9ed4299ead89bbbeff7
treec42a5cf1e31e9a90720624c546889c5133bb8b26
parent7c507e1c6e0bdc622b033d75f3d5c75790e751b0
Don't print boot's diagnostic info by default
src/Rules/Configure.hs