diff options
Diffstat (limited to 'clean')
-rwxr-xr-x | clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clean b/clean index e9b2eeb9..3b629daa 100755 --- a/clean +++ b/clean @@ -1,4 +1,5 @@ #!/bin/sh +set -e set -v rm -rf mu.cc core.mu mu_bin* *_list .build |