git.iko.soy/Idris-dev
on master help sign in
Remove commented out code
76bb5f7Echo Nolan
Setup.hs+1−1
compare with master
unifiedsplit
@@ -279,6 +279,6 @@ main = defaultMainWithHooks $ simpleUserHooks
279 , postInst = \_ flags pkg local ->
279 , postInst = \_ flags pkg local ->
280 idrisInstall (S.fromFlag $ S.installVerbosity flags)
280 idrisInstall (S.fromFlag $ S.installVerbosity flags)
281 NoCopyDest pkg local
281 NoCopyDest pkg local
282− , preSDist = idrisPreSDist --do { putStrLn (show args) ; putStrLn (show flags) ; return emptyHookedBuildInfo }
282+ , preSDist = idrisPreSDist
283 , postSDist = idrisPostSDist
283 , postSDist = idrisPostSDist
284 }
284 }