From e3b3f8f9b0b1dc9c9e42622b90e2155ff7f7b40a Mon Sep 17 00:00:00 2001
From: Sanjit Bhat <sanjit.bhat@gmail.com>
Date: Thu, 21 Sep 2023 10:30:02 -0400
Subject: clean all zip files, even old ones

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c60ea76..365c91b 100644
--- a/Makefile
+++ b/Makefile
@@ -272,7 +272,7 @@ clean:
 	mkfs/mkfs .gdbinit \
         $U/usys.S \
 	$(UPROGS) \
-	lab.zip \
+	*.zip \
 	ph barrier
 
 # try to generate a unique GDB port
-- 
cgit v1.2.3