Don't install to boot server yet. This installation of the RPMs needs

to change into a PLDISTRO specific "install script" such that OneLab,
PlanetLab, VINI, etc. can have their own specific scripts (if any) to
update their RPMs.  In fact, I am not sure the build should be doing
the install at all, as it probably is a separate step altogether.

diff --git a/build.sh b/build.sh
index 665fc2b..0eaa02f 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -146,7 +146,8 @@ else
     make TAG=${TAG} PLDISTRO=${PLDISTRO} -C ${BASE} BASE=$BASE BUILDS=$BUILDS
 
     # Install to boot server
-    make TAG=${TAG} PLDISTRO=${PLDISTRO} -C ${BASE} install BASE=$BASE BUILDS=$BUILDS
+    # XXX not yet
+    #make TAG=${TAG} PLDISTRO=${PLDISTRO} -C ${BASE} install BASE=$BASE BUILDS=$BUILDS
 fi
 
 exit 0