diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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++ |