X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2FMakefile.inc;h=19b911c2e8f4ef264353d7bb29b8443ddf8f91d1;hp=a086db02d28406a9ba14a09cdf9bc967917076bb;hb=3fc16f6e9abc98a3bd5427eb210669860609a224;hpb=540641a18c65c05df757ced2f225ade578da15aa

diff --git a/src/Makefile.inc b/src/Makefile.inc
index a086db0..19b911c 100644
--- a/src/Makefile.inc
+++ b/src/Makefile.inc
@@ -8,10 +8,10 @@ VPATH := $(VPATH):$(TOP_SRCDIR)/filesys
 
 -include *.d
 
-DEFINES =
+DEFINES += -DCNACHOS86
 WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes
 CFLAGS = -g -O3 -MMD $(WARNINGS) $(INCLUDES) $(DEFINES)
-ASFLAGS = $(INCLUDES) $(DEFINES)
+ASFLAGS = -Wa,--gstabs+ $(INCLUDES) $(DEFINES)
 
 # Core kernel.
 THREADS_SRC  = start.S		# Must be linked first.
@@ -69,5 +69,3 @@ diskimage.bin: loader.bin kernel.bin
 
 clean:
 	rm -f *.o *.d *.bin kernel.bin.data kernel.bin.pad intr-stubs.S
-
-