From 25636f70d0f116ef2f842e9ca25dfb781071cd2d Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Sat, 7 Dec 2019 16:06:54 -0800
Subject: 5798

Fuck, 'tmp' is a generic name, and running `clean` deleted some files I'd
stashed away.
---
 clean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'clean')

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; )
-- 
cgit 1.4.1-2-gfad0