From 2440e5bd77c573d32c38774713e0b6432744b8dc Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 12 Sep 2016 23:54:04 -0700 Subject: 3345 --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'makefile') 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++ -- cgit 1.4.1-2-gfad0