diff options
| author | Kartik Agaram <github@akkartik.com> | 2019-08-25 15:11:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-25 15:11:33 -0700 |
| commit | e3f1ce673554e64f9ec1710e9ddc9629a0d9d076 (patch) | |
| tree | 1960bed25ea27372cfa8344a68f671b1148dc3c7 /clean | |
| parent | b60d8c920ef988e8058c1e31bd0907643b60cb5d (diff) | |
| parent | 57fdbeb2b67a648c178b8dd1813a6a9f06e96c98 (diff) | |
| download | mu-e3f1ce673554e64f9ec1710e9ddc9629a0d9d076.tar.gz | |
Merge pull request #35 from akkartik/desugar
Desugaring pass
Diffstat (limited to 'clean')
| -rwxr-xr-x | clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clean b/clean index 2d17099f..69255bef 100755 --- a/clean +++ b/clean @@ -6,4 +6,5 @@ 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 rm -rf tmp mu.iso |