diff options
Diffstat (limited to 'archive/1.vm/clean')
| -rwxr-xr-x | archive/1.vm/clean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/archive/1.vm/clean b/archive/1.vm/clean index c49c2ddc..e2d10bf4 100755 --- a/archive/1.vm/clean +++ b/archive/1.vm/clean @@ -6,4 +6,4 @@ rm -rf mu.cc core.mu mu_bin* *_list .build rm -rf termbox/*.o termbox/libtermbox.a rm -rf .until .quit test $# -gt 0 && exit 0 # convenience: 'clean top-level' to leave subsidiary tools alone -rm -rf ../../tools/enumerate ../../tools/tangle ../../tools/*_list cleave/cleave cleave/cleave.dSYM ../../*/*.dSYM +rm -rf ../../linux/bootstrap/tools/enumerate ../../linux/bootstrap/tools/tangle ../../linux/bootstrap/tools/*_list cleave/cleave cleave/cleave.dSYM ../../linux/bootstrap/tools/*.dSYM |