diff options
Diffstat (limited to 'archive/2.vm/clean')
-rwxr-xr-x | archive/2.vm/clean | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/archive/2.vm/clean b/archive/2.vm/clean deleted file mode 100755 index e3678430..00000000 --- a/archive/2.vm/clean +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh -set -e - -set -v -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 ../../enumerate/enumerate ../../tangle/tangle ../../tangle/*_list cleave/cleave cleave/cleave.dSYM ../../*/*.dSYM |