git.iko.soy/Idris-dev
on master help sign in
Allow comments in .ipkg files
5265109David Raymond Christiansen
src/Pkg/PParser.hs+2
compare with master
unifiedsplit
@@ -78,4 +78,6 @@ pClause = do reserved "executable"; lchar '=';
78 mk <- iName []
78 mk <- iName []
79 st <- get
79 st <- get
80 put (st { makefile = Just (show mk) })
80 put (st { makefile = Just (show mk) })
81+ <|> do string "--"; many (satisfy (not . isEol)) ; satisfy isEol
82+ return ()
81
83