Merge pull request #1246 from jfdm/fix/missing-cmd-options
Fixed typo in CmdOptions to reinstate `--checkpkg`
commitb138dd7b6b538b102cc7c0d6d33840b1301fac75
authorDavid Christiansen <david@davidchristiansen.dk>
dateTue 20 May 2014, 22:28 (12 years ago)
parentef45cdcf08f83a
src/Idris/CmdOptions.hs+1−1
@@ -60,7 +60,7 @@ parseFlags = many $
6060 <|> (PkgREPL <$> strOption (long "repl"))
6161 <|> (PkgClean <$> strOption (long "clean" <> metavar "IPKG" <> help "Clean package"))
6262 <|> (PkgMkDoc <$> strOption (long "mkdoc" <> metavar "IPKG" <> help "Generate IdrisDoc for package"))
63− <|> (PkgCheck <$> strOption (long "check"))
63+ <|> (PkgCheck <$> strOption (long "checkpkg" <> metavar "IPKG" <> help "Check package only"))
6464 -- Misc options
6565 <|> (BCAsm <$> strOption (long "bytecode"))
6666 <|> flag' (OutputTy Raw) (short 'S' <> long "codegenonly" <> help "Do no further compilation of code generator output")