From 63a3a57620189e21b507ffc145e006701d02566a Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Tue, 16 Jun 2020 14:59:14 +0200 Subject: [PATCH] Remove duplicate --gfo flag Fixes #51 --- src/compiler/GF/Infra/Option.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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.",