GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-13 13:12:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

bug fixes ; command so ; reintroduce batch mode

Browse Source
This commit is contained in:
aarne
2004-06-16 14:49:50 +00:00
parent 9fae09a77c
commit a77519ba10
13 changed files with 187 additions and 333 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/GF/Infra/Option.hs
View File

@@ -148,6 +148,9 @@ beVerbose = iOpt "v"
showInfo = iOpt "i"
beSilent = iOpt "s"
emitCode = iOpt "o"
getHelp = iOpt "help"
doMake = iOpt "make"
doBatch = iOpt "batch"
notEmitCode = iOpt "noemit"
makeMulti = iOpt "multi"
beShort = iOpt "short"