X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2FMake.config;fp=src%2FMake.config;h=b1d480e70ae51453e636057e5b7d556722443825;hp=fdf6ce164901a928f195355aadb1d588dc34baf5;hb=7c40a20ad1cfcf4db3e5b93dd30654f6fdc1ef73;hpb=c12a66d060c18b8fddedff8905d09d7ccd50788c

diff --git a/src/Make.config b/src/Make.config
index fdf6ce1..b1d480e 100644
--- a/src/Make.config
+++ b/src/Make.config
@@ -24,8 +24,7 @@ endif
 
 # Compiler and assembler invocation.
 DEFINES =
-WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes -Wsystem-headers \
-	   -Wdeclaration-after-statement
+WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes -Wsystem-headers
 CFLAGS = -g -MMD -msoft-float
 CPPFLAGS = -nostdinc -I$(SRCDIR) -I$(SRCDIR)/lib
 ASFLAGS = -Wa,--gstabs -MMD