diff options
-rwxr-xr-x | clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clean b/clean index 590687a7..aad602da 100755 --- a/clean +++ b/clean @@ -6,3 +6,4 @@ 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 termbox/*.[oa] +rm -rf browse_trace/browse_trace_bin browse_trace/*_list |