diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-08-09 21:54:07 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-08-09 21:57:27 -0700 |
commit | 30b2fcf8e6b2b127f769d339ced085ac685c3bcf (patch) | |
tree | 897e894f6993cc9bd75f8ad55f6887960b426c2a /clean | |
parent | 4ea0d46109442adcee2a38beacafa4d14b3e694d (diff) | |
download | mu-30b2fcf8e6b2b127f769d339ced085ac685c3bcf.tar.gz |
5502 - package up into a bootable disk image
Many thanks to John Davidson for Minimal Linux Live (GPLv3), from which I cribbed gen_iso.
Diffstat (limited to 'clean')
-rwxr-xr-x | clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clean b/clean index 590687a7..2d17099f 100755 --- a/clean +++ b/clean @@ -6,3 +6,4 @@ 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 tmp mu.iso |