X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Makefile;h=bb0860b8a3642562d701575ff9a3128ac1a29a16;hb=9d346ee2cf8a7f2a79dc4929b8e0416de7d8f8c8;hp=f483b058cf16bd841dc6041ea5b767de9878af55;hpb=d0aa5bd27c22a33f04f47363910f9773fdeab7eb;p=palacios.git

diff --git a/Makefile b/Makefile
index f483b05..bb0860b 100644
--- a/Makefile
+++ b/Makefile
@@ -521,7 +521,7 @@ NOSTDINC_FLAGS +=
 # disable pointer signedness warnings in gcc 4.0
 CFLAGS += $(call cc-option,-Wno-pointer-sign,)
 
-CFLAGS += -O
+CFLAGS += -O2
 
 # Default kernel image to build when no specific target is given.
 # KBUILD_IMAGE may be overruled on the commandline or