git.iko.soy/Idris-dev
on master help sign in
Merge pull request #418 from melted/setup-fix
2972b75Edwin Brady
Setup.hs+1−1
compare with master
unifiedsplit
@@ -120,7 +120,7 @@ llvmFlag flags =
120 case lookup (FlagName "LLVM") (S.configConfigurationsFlags flags) of
120 case lookup (FlagName "LLVM") (S.configConfigurationsFlags flags) of
121 Just True -> True
121 Just True -> True
122 Just False -> False
122 Just False -> False
123− Nothing -> False
123+ Nothing -> True
124
124
125noEffectsFlag flags =
125noEffectsFlag flags =
126 case lookup (FlagName "noeffects") (S.configConfigurationsFlags flags) of
126 case lookup (FlagName "noeffects") (S.configConfigurationsFlags flags) of