summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 7ed7e95..ab99d2e 100644
--- a/Makefile
+++ b/Makefile
@@ -34,6 +34,13 @@ clean:
if [ -e ior.bpf.o ]; then rm ior.bpf.o; fi
make -C ./internal/c clean
+.PHONY: mrproper
+mrproper: clean
+ find . -type f -name \*.ior.zst -delete
+ find . -type f -name \*.collapsed -delete
+ find . -type f -name \*.svg -delete
+ find . -type f -name \*.profile -delete
+
.PHONY: world
world: clean generate test all