summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-05-14 20:12:41 +0000
committerkrasimir <krasimir@chalmers.se>2009-05-14 20:12:41 +0000
commitc307fd50c09924ff659b752868b4b82122d294b4 (patch)
tree79b1d413beccefd5af3e665da818ea093b030526
parent2c68b1ba883b3c8b3384375d0caebe0fa48e5ba6 (diff)
added command rgl-none in Setup.hs
-rw-r--r--Setup.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/Setup.hs b/Setup.hs
index e08ce7479..512a245c5 100644
--- a/Setup.hs
+++ b/Setup.hs
@@ -68,6 +68,8 @@ rglCommands =
return ()
, RGLCommand "parse" False $ \mode args pkg lbi -> do
mapM_ (gfc mode pkg lbi . parse) (optl langsParse args)
+ , RGLCommand "none" False $ \mode args pkg lbi -> do
+ return ()
]
where
optl ls args = fromMaybe ls $ getOptLangs args