about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile b/makefile
index 6d2f1554..d4257826 100644
--- a/makefile
+++ b/makefile
@@ -58,3 +58,4 @@ clean:
 	cd tangle && make clean
 	cd termbox && make clean
 	-rm mu.cc core.mu mu_bin *_list
+	-rm -rf mu_bin.*