diff options
author | David Waern <david.waern@gmail.com> | 2007-11-09 02:40:16 +0000 |
---|---|---|
committer | David Waern <david.waern@gmail.com> | 2007-11-09 02:40:16 +0000 |
commit | 125025c7461d54be6ec55aaf6237fcf6fbd7f03e (patch) | |
tree | 088313dfbf0d48491a2826de0c7a358548c48a4f /src | |
parent | c797f395fa31616b69f1f562b02c881c30c165a7 (diff) |
Don't exit when there are no file arguments
Diffstat (limited to 'src')
-rw-r--r-- | src/Main.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs index e89f41ed..2f0c72ca 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -252,7 +252,6 @@ handleEasyFlags flags fileArgs = do when (Flag_Help `elem` flags) (bye usage) when (Flag_Version `elem` flags) byeVersion when (Flag_GhcVersion `elem` flags) byeGhcVersion - when (null fileArgs) (bye usage) let ghcLibDir = case [ dir | Flag_GhcLibDir dir <- flags ] of [] -> throwE "no GHC lib dir specified" |