X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMakefile.inc;h=df6b01046a306f9efb4e20fd60d0819df8009ca0;hb=2324ca7dd99fe1787ff4eac42f73d491eb2b9f36;hp=885c6bba53ccefb1fa7d464ca75e459f9cd5bfb2;hpb=8f4fbcd0dcca3f7f9da7ab76136bef09a0a810a6;p=pintos-anon

diff --git a/src/Makefile.inc b/src/Makefile.inc
index 885c6bb..df6b010 100644
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -63,8 +63,8 @@ all: diskimage.bin
 intr-stubs.S: $(TOP_SRCDIR)/threads/intr-stubs.pl $(TOP_SRCDIR)/threads/loader.h
 	$< > $@
 
+kernel.lds.s: CPPFLAGS += -P -C
 kernel.lds.s: $(TOP_SRCDIR)/threads/kernel.lds.S $(TOP_SRCDIR)/threads/loader.h
-	$(CPP) -x assembler-with-cpp -P $< -o $@
 
 kernel.o: $(OBJECTS) kernel.lds.s
 	ld -T kernel.lds.s -o $@ $(OBJECTS) `$(CC) -print-libgcc-file-name`