aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 01dbaac..9a3a880 100644
--- a/Makefile
+++ b/Makefile
@@ -10,12 +10,12 @@ all:
clean:
+$(MAKE) -C src clean
- rm *.gcov
+ rm -rf *.gcov
clean-all:
+$(MAKE) -C lib clean
+$(MAKE) -C src clean-all
- rm *.gcov
+ rm -rf *.gcov
rm -rf doc/*
docs: