git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2131 from puffnfresh/bug/nix-build
76da3a3David Christiansen
Setup.hs+1−1
compare with master
unifiedsplit
@@ -62,7 +62,7 @@ execOnly flags =
62 case lookup (FlagName "execonly") (S.configConfigurationsFlags flags) of
62 case lookup (FlagName "execonly") (S.configConfigurationsFlags flags) of
63 Just True -> True
63 Just True -> True
64 Just False -> False
64 Just False -> False
65− Nothing -> True
65+ Nothing -> False
66
66
67isRelease :: S.ConfigFlags -> Bool
67isRelease :: S.ConfigFlags -> Bool
68isRelease flags =
68isRelease flags =