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 ef0eb481..aeb8f520 100755 --- a/clean +++ b/clean @@ -5,7 +5,7 @@ set -v rm -rf subx.cc subx_bin* *_list rm -rf .until 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 enumerate/enumerate tangle/tangle tangle/*_list */*.dSYM treeshake rm -rf browse_trace/browse_trace_bin browse_trace/*_list rm -rf tmp mu-linux.iso outfs initrd.fat mu-soso.iso ( cd kernel.soso && make clean; ) |