diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-07-06 22:50:30 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-07-06 22:50:30 -0700 |
commit | eca07d6a6bb155947fda25d12e3067dfb25d9abf (patch) | |
tree | c941534459fbaa5ed5e11bc1d0d6c6ede0cc1672 | |
parent | f0b99910f3558a426bcc80e2aff54c5d0428e5bb (diff) | |
download | mu-eca07d6a6bb155947fda25d12e3067dfb25d9abf.tar.gz |
4314
-rwxr-xr-x | subx/clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subx/clean b/subx/clean index 6ee90a9c..18641a3b 100755 --- a/subx/clean +++ b/subx/clean @@ -5,3 +5,4 @@ set -v rm -rf subx.cc subx_bin* *_list test $# -gt 0 && exit 0 # convenience: 'clean top-level' to leave subsidiary tools alone rm -rf ../enumerate/enumerate ../tangle/tangle ../tangle/*_list ../*/*.dSYM +rm -rf teensy/*.o |