From e658e345fd225308cdf7c2c131198f85927b1dc3 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 16 Mar 2006 20:33:35 +0000
Subject: exitFailure with gf -make

---
 src/GF/GFModes.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/GF/GFModes.hs')

diff --git a/src/GF/GFModes.hs b/src/GF/GFModes.hs
index bf3e90f97..dd25d1e49 100644
--- a/src/GF/GFModes.hs
+++ b/src/GF/GFModes.hs
@@ -90,7 +90,7 @@ putVerb st@(sh,_) s = if (oElem beSilent (globalOptions sh))
 batchCompile :: Options -> FilePath -> IO ()
 batchCompile os file = do
   let file' = mkGFC file
-  let st    = initHState emptyShellState
+  let st    = initHState $ addGlobalOptions (options [iOpt "make"]) emptyShellState
   let s     = "i -o" +++ (unwords $ map ('-':) $ words $ prOpts os) +++ file
   let cs    = pCommandLines st s
   execLines True cs st
-- 
cgit v1.2.3