projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5724456)
Clean more files.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 17 Aug 2004 06:36:18 +0000 (06:36 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 17 Aug 2004 06:36:18 +0000 (06:36 +0000)
src/Makefile.inc patch | blob | history

diff --git a/src/Makefile.inc b/src/Makefile.inc
index b28b5d20d600198f72278a2db5000431eb4769db..a086db02d28406a9ba14a09cdf9bc967917076bb 100644 (file)
--- 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
 
 
Pintos public repository