about summary refs log tree commit diff stats
path: root/subx/clean
diff options
context:
space:
mode:
Diffstat (limited to 'subx/clean')
-rwxr-xr-xsubx/clean2
1 files changed, 1 insertions, 1 deletions
diff --git a/subx/clean b/subx/clean
index 39593221..5243f243 100755
--- a/subx/clean
+++ b/subx/clean
@@ -1,6 +1,6 @@
 #!/bin/sh
 
 set -v
-rm -rf subx.cc subx *_list subx.core *.dSYM
+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