about summary refs log tree commit diff stats
path: root/clean
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-06-05 23:39:47 -0700
committerKartik Agaram <vc@akkartik.com>2018-06-05 23:39:47 -0700
commit91fe63cdc15daa2ff15c0527bbf29abadb134ecc (patch)
treee4a9dbae92a019ca43e5f7d8b4cddb08bf12338a /clean
parentaa94778639fda88034bbd8d979b15d8241b78a6a (diff)
downloadmu-91fe63cdc15daa2ff15c0527bbf29abadb134ecc.tar.gz
4251 - speed up repeated builds until the same layer
Also allow running a single test, to speed things up still further.
Diffstat (limited to 'clean')
-rwxr-xr-xclean1
1 files changed, 1 insertions, 0 deletions
diff --git a/clean b/clean
index 3b629daa..19c46f7a 100755
--- a/clean
+++ b/clean
@@ -7,3 +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