From: Mark Huang <mlhuang@cs.princeton.edu>
Date: Thu, 6 Apr 2006 03:33:41 +0000 (+0000)
Subject: Remove ISO and USB images, which take up >100MB but only take a
X-Git-Tag: myplc-0_4-rc1~90
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=878d28d6cdde67948953fa0ba144c95ce4317493;p=myplc.git

Remove ISO and USB images, which take up >100MB but only take a
couple of seconds to generate at first boot.
---

diff --git a/build.sh b/build.sh
index a6e5130..f0243e5 100755
--- a/build.sh
+++ b/build.sh
@@ -268,6 +268,11 @@ RETVAL=$?
 # Restore default configuration before shutting down
 install -D -m 644 $config $data/etc/planetlab/plc_config.xml
 
+# Remove ISO and USB images, which take up >100MB but only take a
+# couple of seconds to generate at first boot.
+rm -f $data/var/www/html/download/*.{iso,usb}
+install -D -m 644 $config $data/etc/planetlab/plc_config.xml
+
 ./host.init stop
 RETVAL=$(($RETVAL+$?))