diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-23 06:14:34 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-23 06:14:34 +0000 |
| commit | 3c53194ca92cfa1a62dbb5da3facfaabfcb32043 (patch) | |
| tree | be2fbf3680fc62780d019be09dbfa0c9c3cd3aef /src/GF/Infra | |
| parent | b10c9c0f83d8109de054fc4c3dd89697e391ff3e (diff) | |
--make now implies --batch
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Option.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index f9221b233..844620bbb 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -284,7 +284,7 @@ optDescr = Option ['E'] [] (NoArg (phase Preproc)) "Stop after preprocessing (with --preproc).", Option ['C'] [] (NoArg (phase Convert)) "Stop after conversion to .gf.", Option ['c'] [] (NoArg (phase Compile)) "Stop after compiling to .gfo (default) .", - Option [] ["make"] (NoArg (phase Link)) "Build .pgf file and other output files.", + Option [] ["make"] (NoArg (liftM2 addOptions (mode ModeCompiler) (phase Link))) "Build .pgf file and other output files and exit.", Option [] ["cpu"] (NoArg (cpu True)) "Show compilation CPU time statistics.", Option [] ["no-cpu"] (NoArg (cpu False)) "Don't show compilation CPU time statistics (default).", Option [] ["emit-gfo"] (NoArg (emitGFO True)) "Create .gfo files (default).", |