@@ -279,6 +279,6 @@ main = defaultMainWithHooks $ simpleUserHooks
279279 , postInst = \_ flags pkg local ->
280280 idrisInstall (S.fromFlag $ S.installVerbosity flags)
281281 NoCopyDest pkg local
282− , preSDist = idrisPreSDist --do { putStrLn (show args) ; putStrLn (show flags) ; return emptyHookedBuildInfo }
282+ , preSDist = idrisPreSDist
283283 , postSDist = idrisPostSDist
284284 }