Use Linux kernel trick of giving an .lds file a .S extension to get it

[pintos-anon] / src / userprog / build / .cvsignore

diff --git a/src/userprog/build/.cvsignore b/src/userprog/build/.cvsignore
index b64d546c526f4fd8a51db39598f5cf2385228d59..c3a246af6ccdd54f5fae3cd08c63eb716fa0d25e 100644 (file)
--- a/src/userprog/build/.cvsignore
+++ b/src/userprog/build/.cvsignore
@@ -2,6 +2,6 @@
 diskimage.bin
 loader.bin
 kernel.bin
-kernel.bin.data
-kernel.bin.pad
+kernel.bin.tmp
 intr-stubs.S
+kernel.lds.s