X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=build.functions;h=c89aab338c8fa00891a90ae147769b6e7a9a5cc3;hb=0ad32047d066a27e3487bd4101d8aa9a9e6b7564;hp=8281801fafe7651f8f2917ecc8cca9c59d383947;hpb=1dc466186b2ba51649ffc000429fe9496ca467bb;p=myplc.git

diff --git a/build.functions b/build.functions
index 8281801..c89aab3 100644
--- a/build.functions
+++ b/build.functions
@@ -6,7 +6,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: functions,v 1.6 2006/07/10 21:05:37 mlhuang Exp $
+# $Id: build.functions,v 1.4 2006/08/16 01:27:16 mlhuang Exp $
 #
 
 PATH=/sbin:/bin:/usr/sbin:/usr/bin
@@ -29,21 +29,17 @@ PLC_DEVEL_FEDORA_RELEASE=4
 PLC_DEVEL_FEDORA_ARCH=i386
 
 # Fedora Core mirror from which to install filesystems
-PLC_DEVEL_FEDORA_URL=file:///usr/share/mirrors/fedora
-
-# Build myplc inside myplc-devel
-PLC_DEVEL_BOOTSTRAP=true
+PLC_DEVEL_FEDORA_URL=file:///data/fedora
 
 # We may be running inside a myplc-devel environment, which can
-# override these defaults. Specifically, whether to build myplc inside
-# myplc-devel (PLC_DEVEL_BOOTSTRAP).
+# override these defaults.
 if [ -f /etc/planetlab/plc_config ] ; then
     . /etc/planetlab/plc_config
 fi
 
 usage()
 {
-    echo "Usage: build.sh [OPTION]..."
+    echo "Usage: $0 [OPTION]..."
     echo "	-l url		Fedora mirror location (default: $PLC_DEVEL_FEDORA_URL)"
     echo "	-r release	Fedora release number (default: $PLC_DEVEL_FEDORA_RELEASE)"
     echo "	-a arch		Fedora architecture (default: $PLC_DEVEL_FEDORA_ARCH)"