From 1364516f79a765fabd1c207a4902d76c17b71074 Mon Sep 17 00:00:00 2001
From: Bernhard Urban <lewurm@gmail.com>
Date: Tue, 31 Jul 2012 22:22:28 +0200
Subject: [PATCH] Makefile: don't delete tags file

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 6dececa..b4be049 100644
--- a/Makefile
+++ b/Makefile
@@ -80,7 +80,7 @@ mate.dbg: Mate.hs ffi/trap.c $(HS_FILES) $(HS_BOOT) ffi/native.o
 	ghc --make $(DEBUGFLAGS) $(GHC_OPT) Mate.hs $(B_DEBUG)/ffi/trap.o -o $@ $(GHC_LD) -outputdir $(B_DEBUG)
 
 clean:
-	rm -rf $(BUILD) mate mate.static mate.dbg tags ffi/native.o \
+	rm -rf $(BUILD) mate mate.static mate.dbg ffi/native.o \
 		tests/*.class Mate/*_stub.* \
 		jmate/lang/*.class jmate/io/*.class java/io/*.class \
 		java/lang/{Integer,Character,String,System}.class
-- 
2.25.1