about summary refs log tree commit diff stats
path: root/clean
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-06-25 10:20:06 -0700
committerKartik Agaram <vc@akkartik.com>2018-06-25 10:24:17 -0700
commit129a9f71ce0acb5f9156f2a7a1c559fc47ae2e80 (patch)
tree4dd5b864470220caed42eef4b063b16e41a2364b /clean
parent3ecee22a8a440b5f299729cbe49aede7e270c67c (diff)
downloadmu-129a9f71ce0acb5f9156f2a7a1c559fc47ae2e80.tar.gz
4270 - tweak the experimental concurrent builder
Diffstat (limited to 'clean')
-rwxr-xr-xclean2
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