1 files changed, 1 insertions, 0 deletions
diff --git a/clean b/clean
index 1cd632d0..e9b2eeb9 100755
--- a/clean
+++ b/clean
@@ -2,6 +2,7 @@
 
 set -v
 rm -rf mu.cc core.mu mu_bin* *_list .build
+test $# -gt 0 && exit 0  # convenience: 'clean top-level' to leave subsidiary tools alone
 rm -rf enumerate/enumerate tangle/tangle tangle/*_list cleave/cleave
 rm -rf termbox/*.o termbox/libtermbox.a
 rm -rf *.dSYM */*.dSYM