-s

2 files changed, 4 insertions, 3 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 
diff --git a/src/GF/Infra/UseIO.hs b/src/GF/Infra/UseIO.hs
index 3dc41fadc..d06904297 100644
--- a/src/GF/Infra/UseIO.hs
+++ b/src/GF/Infra/UseIO.hs
@@ -208,7 +208,7 @@ putStrE = ioeIO . putStrFlush
 
 putPointE :: Options -> String -> IOE a -> IOE a
 putPointE opts msg act = do
-  let ve x = if oElem beVerbose opts then x else return ()
+  let ve x = if oElem beSilent opts then return () else x
   ve $ ioeIO $ putStrFlush msg
   a <- act
 ---  ve $ ioeIO $ putShow' id a --- replace by a statistics command