diff options
author | Andrew Cady <d@jerkface.net> | 2020-05-29 21:49:49 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2020-05-29 21:49:49 -0400 |
commit | e1794208b62172db0bfe37f69173b6362fd618b4 (patch) | |
tree | caa3f709e6fc482dab6ff78e8c6556a87170722d | |
parent | e52de73e8bc9a087e61db2cd5e77af61f78380f3 (diff) |
more verbose logging
-rw-r--r-- | fsmgr.hs | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -261,7 +261,8 @@ ourShakeOptions :: ShakeOptions | |||
261 | ourShakeOptions = shakeOptions { | 261 | ourShakeOptions = shakeOptions { |
262 | shakeFiles = "_build", | 262 | shakeFiles = "_build", |
263 | shakeColor = True, | 263 | shakeColor = True, |
264 | shakeProgress = progressSimple | 264 | shakeProgress = progressSimple, |
265 | shakeVerbosity = Loud | ||
265 | } | 266 | } |
266 | 267 | ||
267 | chrootImage :: FilePath -> [String] -> IO () | 268 | chrootImage :: FilePath -> [String] -> IO () |