From eca07d6a6bb155947fda25d12e3067dfb25d9abf Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Fri, 6 Jul 2018 22:50:30 -0700 Subject: 4314 --- subx/clean | 1 + 1 file changed, 1 insertion(+) (limited to 'subx/clean') 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 -- cgit 1.4.1-2-gfad0