diff options
Diffstat (limited to 'src/GF/Infra/ReadFiles.hs')
| -rw-r--r-- | src/GF/Infra/ReadFiles.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/GF/Infra/ReadFiles.hs b/src/GF/Infra/ReadFiles.hs index edbed4047..683eef04d 100644 --- a/src/GF/Infra/ReadFiles.hs +++ b/src/GF/Infra/ReadFiles.hs @@ -35,8 +35,9 @@ getAllFiles opts ps env file = do -- read module headers from all files recursively ds0 <- getImports ps file let ds = [((snd m,map fst ms),p) | ((m,ms),p) <- ds0] - ioeIO $ putStrLn $ "all modules:" +++ show (map (fst . fst) ds) - + if oElem beSilent opts + then return () + else ioeIO $ putStrLn $ "all modules:" +++ show (map (fst . fst) ds) -- get a topological sorting of files: returns file names --- deletes paths ds1 <- ioeErr $ either return |