diff options
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 |