summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index c888fc215..c381ae986 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,10 @@ SysConfig.hs: configure.hs TestConfig.hs
$(GHCMAKE) configure
./configure
-$(bins): SysConfig.hs
+Touch.hs: Touch.hsc
+ hsc2hs $<
+
+$(bins): SysConfig.hs Touch.hs
$(GHCMAKE) $@
git-annex.1: doc/git-annex.mdwn
@@ -57,7 +60,7 @@ docs: $(mans)
--exclude='news/.*'
clean:
- rm -rf build $(bins) $(mans) test configure SysConfig.hs *.tix .hpc
+ rm -rf build $(bins) $(mans) test configure Touch.hs SysConfig.hs *.tix .hpc
rm -rf doc/.ikiwiki html
find . \( -name \*.o -or -name \*.hi \) -exec rm {} \;