diff options
Diffstat (limited to 'clean')
-rwxr-xr-x | clean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clean b/clean index 693599a9..7a0eda83 100755 --- a/clean +++ b/clean @@ -2,7 +2,7 @@ set -e set -v -rm -rf subx.cc subx_bin* *_list +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 |