From: Ben Pfaff Date: Wed, 15 Dec 2004 00:51:19 +0000 (+0000) Subject: Turn off optimization by default. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=382dafd4d52569f887827b468c985879d6f5ea80;p=pintos-anon Turn off optimization by default. --- diff --git a/src/Make.config b/src/Make.config index dd76313..63d6a22 100644 --- a/src/Make.config +++ b/src/Make.config @@ -23,7 +23,7 @@ CAT = cat # Compiler and assembler invocation. WARNINGS = -Wall -W -Wstrict-prototypes -Wmissing-prototypes -Wsystem-headers -CFLAGS = -g -O3 -MMD -msoft-float +CFLAGS = -g -MMD -msoft-float ASFLAGS = -Wa,--gstabs -MMD %.o: %.c