1 files changed, 0 insertions, 12 deletions
diff --git a/clean b/clean
deleted file mode 100755
index 7a0eda83..00000000
--- a/clean
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-set -e
-
-set -v
-rm -rf bootstrap.cc bootstrap_bin* *_list
-rm -rf .until
-test $# -gt 0 && exit 0  # convenience: 'clean top-level' to leave subsidiary tools alone
-rm -rf tools/enumerate tools/tangle tools/*_list tools/*.dSYM
-rm -rf tools/browse_trace_bin tools/treeshake tools/linkify
-rm -rf tools/termbox/*.o tools/termbox/libtermbox.a
-rm -rf tmp_linux mu_linux.iso outfs initrd.fat mu_soso.iso
-( cd tools/iso/kernel.soso  &&  make clean; )