diff --git a/Makefile.config b/Makefile.config index f16af7c5..0645ba14 100644 --- a/Makefile.config +++ b/Makefile.config @@ -5,9 +5,9 @@ # Configuration options for the makefile # Use these lines instead for debugging or profiling -#CFLAGS = -g -#CFLAGS = -g -pg -CFLAGS ?= -g -Wall +#CFLAGS = -g -Wall +#CFLAGS = -g -pg -Wall +CFLAGS ?= -O2 -Wall CC ?= cc # Commands "baked into" cycone for invoking the C compiler CC_PROG ?= "$(CC) ~src-file~ $(CFLAGS) -c -o ~exec-file~.o"