1 files changed, 2 insertions, 3 deletions
diff --git a/src/GF.hs b/src/GF.hs
index b1f68f57d..054ff6e89 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -59,9 +59,8 @@ main = do
       return ()
 
     _ | opt doMake -> do
-      case fs of
-        [f] -> batchCompile os f
-        _ -> putStrLnFlush "expecting exactly one gf file to compile"
+      mapM_ (batchCompile os) fs
+      return ()
 
     _ | opt makeConcrete -> do
         mkConcretes fs