From 9d230cdec57f219c818ad65528de7e18013a8971 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Tue, 23 Oct 2007 21:24:31 +0000
Subject: [PATCH] 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.

---
 build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 665fc2b8..0eaa02fb 100755
--- 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
-- 
2.47.0