diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2020-06-16 14:59:14 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2020-06-16 14:59:14 +0200 |
| commit | 63a3a57620189e21b507ffc145e006701d02566a (patch) | |
| tree | 04d3f5aad02b2d6099aff77c568a0e849c4b680a /src | |
| parent | aa9b4d06ba343e9b0dd9cd2269e42c76f6cd0b4e (diff) | |
Remove duplicate --gfo flag
Fixes #51
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Infra/Option.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 7455c83c4..c4108cbe3 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -348,7 +348,7 @@ optDescr = "Overrides the value of GF_LIB_PATH.", Option [] ["src","force-recomp"] (NoArg (recomp AlwaysRecomp)) "Always recompile from source.", - Option [] ["gfo","recomp-if-newer"] (NoArg (recomp RecompIfNewer)) + Option [] ["recomp-if-newer"] (NoArg (recomp RecompIfNewer)) "(default) Recompile from source if the source is newer than the .gfo file.", Option [] ["gfo","no-recomp"] (NoArg (recomp NeverRecomp)) "Never recompile from source, if there is already .gfo file.", |