Makefile: delete *_stub.* files

those are generated exporting things with FFI

diff --git a/Makefile b/Makefile
index 7efe2d16354146f824d12ea8e1ea14b5dc577c16..55954ae8cfe96aae03f252afb352f5063ac37cc2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -53,7 +53,7 @@ mate.dbg: Mate.hs ffi/trap.c $(HS_FILES) $(HS_BOOT) ffi/native.o
        ghc --make $(DEBUGFLAGS) $(GHC_OPT) Mate.hs build/debug/ffi/trap.o -o $@ $(GHC_LD) -outputdir build/debug
 
 clean:
-       rm -rf build mate mate.dbg ffi/native.o tests/*.class
+       rm -rf build mate mate.dbg ffi/native.o tests/*.class Mate/*_stub.*
 
 ghci: mate
        ghci $(PACKAGES) $(O_FILES) Mate.hs $(GHC_LD)