diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-12-07 16:06:54 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-12-07 18:06:17 -0800 |
commit | 25636f70d0f116ef2f842e9ca25dfb781071cd2d (patch) | |
tree | b7fba53d852ff98545653408d640944cfb0a3e74 /clean | |
parent | 72f278ae6bb52e17dbdeac0fce41a794e8dfd0d1 (diff) | |
download | mu-25636f70d0f116ef2f842e9ca25dfb781071cd2d.tar.gz |
5798
Fuck, 'tmp' is a generic name, and running `clean` deleted some files I'd stashed away.
Diffstat (limited to 'clean')
-rwxr-xr-x | clean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clean b/clean index 6e83d27a..175356e3 100755 --- a/clean +++ b/clean @@ -8,5 +8,5 @@ test $# -gt 0 && exit 0 # convenience: 'clean top-level' to leave subsidiary to rm -rf tools/enumerate tangle/tangle tangle/*_list */*.dSYM rm -rf browse_trace/browse_trace_bin browse_trace/*_list rm -rf tools/treeshake -rm -rf tmp mu-linux.iso outfs initrd.fat mu-soso.iso +rm -rf tmp_linux mu_linux.iso outfs initrd.fat mu_soso.iso ( cd kernel.soso && make clean; ) |