diff options
| author | aarne <unknown> | 2005-02-05 09:52:04 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-02-05 09:52:04 +0000 |
| commit | 45f3b7d5e74dde250a3e0eb92469efc22479cd30 (patch) | |
| tree | dac6258b5188e5b618f3d0828e525437bcca6758 /src/GF/Infra/Option.hs | |
| parent | bc05653e825e082b70eebf2f420eb5a97610f56c (diff) | |
optimization flags and improver eng
Diffstat (limited to 'src/GF/Infra/Option.hs')
| -rw-r--r-- | src/GF/Infra/Option.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 4aab45d4d..4d3cf5393 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -9,7 +9,7 @@ -- > CVS $Author $ -- > CVS $Revision $ -- --- (Description of the module) +-- Options and flags used in GF shell commands and files. ----------------------------------------------------------------------------- module Option where @@ -224,6 +224,7 @@ useAbsName = aOpt "abs" useCncName = aOpt "cnc" useResName = aOpt "res" useFile = aOpt "file" +useOptimizer = aOpt "optimize" markLin = aOpt "mark" markOptXML = oArg "xml" |