From: Peter Dinda <pdinda@northwestern.edu>
Date: Thu, 4 Dec 2008 18:14:18 +0000 (-0600)
Subject: Removed make world from this script
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=df9b4872e6aeed3d7f50a33c5447ea9dec83fcfa

Removed make world from this script
---

diff --git a/build/CreateIso.sh b/build/CreateIso.sh
index 538faa3..959299d 100755
--- a/build/CreateIso.sh
+++ b/build/CreateIso.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-make DEBUG_ALL=1 world
+#make DEBUG_ALL=1 world
 cp vmm.img iso
 mkisofs -R -b boot/grub/stage2_eltorito -no-emul-boot -boot-load-size 4 -boot-info-table -o test.iso iso