diff options
-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 |