about summary refs log tree commit diff stats
path: root/makefile
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-12 23:54:04 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-12 23:54:04 -0700
commit2440e5bd77c573d32c38774713e0b6432744b8dc (patch)
tree848422c5908f31c3ba5a2403442998fec9db5c51 /makefile
parent17ec401647b89ed5b34974bf327d9c91fc29b7a4 (diff)
downloadmu-2440e5bd77c573d32c38774713e0b6432744b8dc.tar.gz
3345
Diffstat (limited to 'makefile')
-rw-r--r--makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile
index 5a95db52..488bb612 100644
--- a/makefile
+++ b/makefile
@@ -10,7 +10,7 @@ all: mu_bin core.mu
 # to recompute dependencies. You have to manually run 'make redo' to recreate
 # the .build/ directory from scratch.
 redo:
-	rm -rf .build
+	rm -rf mu_bin core.mu .build
 	@make
 
 CXX ?= c++