@@ -60,7 +60,7 @@ parseFlags = many $
60 <|> (PkgREPL <$> strOption (long "repl"))
60 <|> (PkgREPL <$> strOption (long "repl"))
61 <|> (PkgClean <$> strOption (long "clean" <> metavar "IPKG" <> help "Clean package"))
61 <|> (PkgClean <$> strOption (long "clean" <> metavar "IPKG" <> help "Clean package"))
62 <|> (PkgMkDoc <$> strOption (long "mkdoc" <> metavar "IPKG" <> help "Generate IdrisDoc for package"))
62 <|> (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"))
64 -- Misc options
64 -- Misc options
65 <|> (BCAsm <$> strOption (long "bytecode"))
65 <|> (BCAsm <$> strOption (long "bytecode"))
66 <|> flag' (OutputTy Raw) (short 'S' <> long "codegenonly" <> help "Do no further compilation of code generator output")
66 <|> flag' (OutputTy Raw) (short 'S' <> long "codegenonly" <> help "Do no further compilation of code generator output")