summaryrefslogtreecommitdiff
path: root/src/compiler
diff options
context:
space:
mode:
authorkr.angelov <kr.angelov@gmail.com>2014-05-21 07:33:35 +0000
committerkr.angelov <kr.angelov@gmail.com>2014-05-21 07:33:35 +0000
commit75475b579d16a662bac05a783dd6099a4c960e8d (patch)
tree6f37600115b5b07663ad43ce16e525a8a0ab6823 /src/compiler
parent43eaedd3267b4c9f2b2be56036d6542044898ee4 (diff)
in verbosity mode the compiler warns about missing paths
Diffstat (limited to 'src/compiler')
-rw-r--r--src/compiler/GF/Infra/UseIO.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/GF/Infra/UseIO.hs b/src/compiler/GF/Infra/UseIO.hs
index de3182f0e..fe1d01423 100644
--- a/src/compiler/GF/Infra/UseIO.hs
+++ b/src/compiler/GF/Infra/UseIO.hs
@@ -93,7 +93,8 @@ extendPathEnv opts = liftIO $ do
_ -> do exists <- doesDirectoryExist p
if exists
then return [p]
- else return []
+ else do when (verbAtLeast opts Verbose) $ putStrLn ("ignore path "++p)
+ return []
getSubdirs :: FilePath -> IO [FilePath]
getSubdirs dir = do