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)
src/Rules/Configure.hs

index a4ef084..dd016c1 100644 (file)
@@ -38,4 +38,5 @@ configureRules = do
         else do
             need ["configure.ac"]
             putBuild "| Running boot..."
-            quietly $ cmd "python3 boot"
+            verbosity <- getVerbosity
+            quietly $ cmd [EchoStdout (verbosity >= Loud)] "python3 boot"