X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMake.config;h=4dd2eb1cd6fc9e5ceaef2a7777c3f4a780e55923;hb=a43de5270109e60db2284c929a368b083e1ff316;hp=91c14d00623696983a47483f970e55a590f9bea3;hpb=c4d3a0df42588f919931e786d398e418b6ce6179;p=pintos-anon

diff --git a/src/Make.config b/src/Make.config
index 91c14d0..4dd2eb1 100644
--- a/src/Make.config
+++ b/src/Make.config
@@ -33,13 +33,14 @@ endif
 # Compiler and assembler invocation.
 DEFINES =
 WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes -Wsystem-headers
-CFLAGS = -g -MMD -msoft-float
+CFLAGS = -g -msoft-float -O
 CPPFLAGS = -nostdinc -I$(SRCDIR) -I$(SRCDIR)/lib
-ASFLAGS = -Wa,--gstabs -MMD
+ASFLAGS = -Wa,--gstabs
 LDFLAGS = 
+DEPS = -MMD -MF $(@:.o=.d)
 
 %.o: %.c
-	$(CC) -c $< -o $@ $(CFLAGS) $(CPPFLAGS) $(WARNINGS) $(DEFINES)
+	$(CC) -c $< -o $@ $(CFLAGS) $(CPPFLAGS) $(WARNINGS) $(DEFINES) $(DEPS)
 
 %.o: %.S
-	$(CC) -c $< -o $@ $(ASFLAGS) $(CPPFLAGS) $(DEFINES)
+	$(CC) -c $< -o $@ $(ASFLAGS) $(CPPFLAGS) $(DEFINES) $(DEPS)