From 207b980555f1e21681b8095ee49afe0aacbaddb6 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Thu, 15 Sep 2016 12:00:21 -0700 Subject: 3360 --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 488bb612..3edf546c 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 mu_bin core.mu .build + rm -rf mu_bin mu.cc core.mu .build @make CXX ?= c++ -- cgit 1.4.1-2-gfad0