Clean more files.

[pintos-anon] / src / Makefile.inc

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