diff options
-rw-r--r-- | makefile | 2 |
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++ |