diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-03-16 20:33:35 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-03-16 20:33:35 +0000 |
| commit | e658e345fd225308cdf7c2c131198f85927b1dc3 (patch) | |
| tree | 4156d58c2e57074a355e40778c422de32b57cfc7 /src/GF/GFModes.hs | |
| parent | f156073a13539b26040dbe6bfec55816bffd0080 (diff) | |
exitFailure with gf -make
Diffstat (limited to 'src/GF/GFModes.hs')
| -rw-r--r-- | src/GF/GFModes.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |