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

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