From fd3de4f173ca171d06948226236d3beacd5fcc5a Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 14 Apr 2013 16:50:28 -0400 Subject: better cleaning --- Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 35eb67e0e..009dd0f43 100644 --- a/Makefile +++ b/Makefile @@ -74,8 +74,10 @@ 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 + 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 Build/InstallDesktopFile: Build/InstallDesktopFile.hs $(GHC) --make $@ -- cgit v1.2.3