diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -74,10 +74,9 @@ docs: $(mans) clean: rm -rf tmp dist git-annex $(mans) configure *.tix .hpc \ doc/.ikiwiki html dist tags Build/SysConfig.hs build-stamp \ - Setup.hi Setup.o Setup \ - Build/InstallDesktopFile Build/EvilSplicer Build/Standalone Build/OSXMkLibs \ - Build/InstallDesktopFile.hi Build/EvilSplicer.hi Build/Standalone.hi Build/OSXMkLibs.hi \ - Build/InstallDesktopFile.o Build/EvilSplicer.o Build/Standalone.hi Build/OSXMkLibs.o + Setup Build/InstallDesktopFile Build/EvilSplicer \ + Build/Standalone Build/OSXMkLibs + find -name \*.o -or -name \*.hi -exec rm {} \; Build/InstallDesktopFile: Build/InstallDesktopFile.hs $(GHC) --make $@ |