From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 5 Sep 2004 16:34:36 +0000 (+0000)
Subject: Nicer way to generate kernel.lds.s.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2324ca7dd99fe1787ff4eac42f73d491eb2b9f36;p=pintos-anon

Nicer way to generate kernel.lds.s.
---

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`