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 19c46f7a..4507691f 100755 --- a/clean +++ b/clean @@ -7,4 +7,4 @@ test $# -gt 0 && exit 0 # convenience: 'clean top-level' to leave subsidiary to rm -rf enumerate/enumerate tangle/tangle tangle/*_list cleave/cleave rm -rf termbox/*.o termbox/libtermbox.a rm -rf *.dSYM */*.dSYM -rm -rf .until +rm -rf .until .quit |