From 9cea33197bd5e23a3ca637817f4f51db578a59b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Thu, 3 Oct 2013 23:08:44 +0200
Subject: [PATCH] Remove all kinds of generated files on make clean

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 2c658d8..c7cadb6 100644
--- a/Makefile
+++ b/Makefile
@@ -101,6 +101,9 @@ alc: $(ALC_OBJS) alc$(SUFFIX)
 .PHONY: clean
 clean:
 	find -regextype posix-egrep -regex ".*((\.(cmi|cmo|cma|cmx|o|cmxa))|~)$$" -delete
+	$(RM) -f .depend
+	$(RM) -f $(PROGS)
+	$(RM) -f *.a
 
 
 .PHONY: depend
-- 
GitLab