about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-07-06 22:50:30 -0700
committerKartik Agaram <vc@akkartik.com>2018-07-06 22:50:30 -0700
commiteca07d6a6bb155947fda25d12e3067dfb25d9abf (patch)
treec941534459fbaa5ed5e11bc1d0d6c6ede0cc1672
parentf0b99910f3558a426bcc80e2aff54c5d0428e5bb (diff)
downloadmu-eca07d6a6bb155947fda25d12e3067dfb25d9abf.tar.gz
4314
-rwxr-xr-xsubx/clean1
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