From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 17 Aug 2004 06:36:18 +0000 (+0000)
Subject: Clean more files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a5ccc740ff0bbc65ddca50b4c5d174bcc22ba586;p=pintos-anon

Clean more files.
---

diff --git a/src/Makefile.inc b/src/Makefile.inc
index b28b5d2..a086db0 100644
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -68,6 +68,6 @@ diskimage.bin: loader.bin kernel.bin
 	cat loader.bin kernel.bin > diskimage.bin
 
 clean:
-	rm -f *.o *.d *.bin intr-stubs.S
+	rm -f *.o *.d *.bin kernel.bin.data kernel.bin.pad intr-stubs.S