From ba72f4c975a3697cb668b812c91f24b3fa6e4c0f Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Wed, 30 Jan 2019 21:16:20 -0500 Subject: better cleaning --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 2d72a5b0..45179cf4 100644 --- a/Makefile +++ b/Makefile @@ -12,9 +12,11 @@ all: .deps.mk .deps.mk: sh mkmf.sh $(STANDARD) + rm -rf .dep .headers.mk: sh mkmf.sh $(STANDARD) + rm -rf .dep headers: .headers.mk @$(MAKE) -f .headers.mk $@ @@ -23,5 +25,4 @@ clean: rm -rf $(OBJDIR) *.a git-clean: clean - rm -rf .dep .headers.mk .deps.mk - + rm -rf .dep .headers.mk .deps.mk include -- cgit v1.2.1