Merge branch 'master' into popl2012

[match/match.git] / program / Makefile

diff --git a/program/Makefile b/program/Makefile
index 8dcb4aa..d72db83 100644 (file)
--- a/program/Makefile
+++ b/program/Makefile
@@ -8,6 +8,6 @@ all-optimized:
 #      ghc -cpp -fglasgow-exts --make -O -hisuf O.hi -osuf O.o -c *.hs
        ghc -cpp -fglasgow-exts --make -O -hisuf O.hi -osuf O.o *.hs -o match.O
 clean:
-       rm -f *.hi *.o
+       rm -f *.hi *.o match
 
 # Necessary libraries (on Fedora): ghc-fgl, ghc-csv.  Others I miss?