@@ -206,13 +206,12 @@ getVersion args flags = do
206206
207207idrisPreBuild args flags = do
208208#ifdef mingw32_HOST_OS
209− createDirectoryIfMissing True dir
209+ createDirectoryIfMissingVerbose verbosity True dir
210210 windres verbosity ["icons/idris_icon.rc","-o", dir++"idris_icon.o"]
211211 return (Nothing, [("idris", emptyBuildInfo { ldOptions = [dir ++ "idris_icon.o"] })])
212212 where
213213 verbosity = S.fromFlag $ S.buildVerbosity flags
214− dir = dirPref
215− dirPref = S.fromFlagOrDefault "dist" $ S.buildDistPref flags
214+ dir = S.fromFlagOrDefault "dist" $ S.buildDistPref flags
216215#else
217216 return (Nothing, [])
218217#endif