diff options
| author | Jakob Kaivo <jkk@ung.org> | 2019-01-30 21:16:20 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2019-01-30 21:16:20 -0500 |
| commit | ba72f4c975a3697cb668b812c91f24b3fa6e4c0f (patch) | |
| tree | 6112e7de082e976eac75e097e28511f23299eb9e /Makefile | |
| parent | 002e75e5f1438b14fa4e8e2125737f1d476379e1 (diff) | |
better cleaning
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 |