diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-08-14 08:38:15 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-08-14 08:38:15 -0700 |
commit | 53cef4be07176d94d298bc08e295ff42df3a420b (patch) | |
tree | 42ea0880f3c3d768b5c71d1911949eb5ac2a338f /clean | |
parent | dbb380b87f14da2b7bdc1ac94551f95eba5a51ec (diff) | |
parent | 794ceae0af3e9ff613b6a8176ba8851e23f9f6c8 (diff) | |
download | mu-53cef4be07176d94d298bc08e295ff42df3a420b.tar.gz |
Merge branch 'master' into desugar
Diffstat (limited to 'clean')
-rwxr-xr-x | clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clean b/clean index aad602da..69255bef 100755 --- a/clean +++ b/clean @@ -7,3 +7,4 @@ 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 +rm -rf tmp mu.iso |