Drop defaultDestDir and use Shake's verbosity to control verbose commands (#400)
[ghc.git] / cfg /
drwxr-xr-x   ..
-rw-r--r-- 4084 system.config.in