X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=build%2FMakefile;h=ae2db7fcdb0c174fe18e5cd749793e143ee28079;hp=fb57c3e8451c18cb2d345a21ecbc71abd4347e55;hb=refs%2Fheads%2Frelease-1.1;hpb=b8f6183dad926e051fb7dd10835cff2318993b17

diff --git a/build/Makefile b/build/Makefile
index fb57c3e..ae2db7f 100644
--- a/build/Makefile
+++ b/build/Makefile
@@ -22,10 +22,6 @@ PALACIOS_BUILD_DIR := $(PROJECT_ROOT)/palacios/build
 GEEKOS_BUILD_DIR := $(PROJECT_ROOT)/geekos/build
 GUEST_ISO_DIR := /opt/vmm-tools/isos
 
-# List of targets to build by default.
-# These targets encompass everything needed to boot
-# and run GeekOS.
-ALL_TARGETS := geekos-full
 
 QEMU := /usr/local/qemu/bin/qemu-system-x86_64
 
@@ -196,7 +192,7 @@ endif
 # ----------------------------------------------------------------------
 
 # Default target - see definition of ALL_TARGETS in Configuration section
-all : $(ALL_TARGETS)
+all : palacios-full64
 
 
 palacios64: