@@ -206,13 +206,12 @@ getVersion args flags = do
207idrisPreBuild args flags = do
207idrisPreBuild args flags = do
208#ifdef mingw32_HOST_OS
208#ifdef mingw32_HOST_OS
209− createDirectoryIfMissing True dir
209+ createDirectoryIfMissingVerbose verbosity True dir
210 windres verbosity ["icons/idris_icon.rc","-o", dir++"idris_icon.o"]
210 windres verbosity ["icons/idris_icon.rc","-o", dir++"idris_icon.o"]
211 return (Nothing, [("idris", emptyBuildInfo { ldOptions = [dir ++ "idris_icon.o"] })])
211 return (Nothing, [("idris", emptyBuildInfo { ldOptions = [dir ++ "idris_icon.o"] })])
213 verbosity = S.fromFlag $ S.buildVerbosity flags
213 verbosity = S.fromFlag $ S.buildVerbosity flags
215− dirPref = S.fromFlagOrDefault "dist" $ S.buildDistPref flags
214+ dir = S.fromFlagOrDefault "dist" $ S.buildDistPref flags
217 return (Nothing, [])
216 return (Nothing, [])