From 1142d18a08cb8b9b96aefbd52fdadb05cb1982c7 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 13 Aug 2004 20:46:54 +0000
Subject: -s

---
 src/GF/Infra/ReadFiles.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/GF/Infra/ReadFiles.hs')

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 
-- 
cgit v1.2.3