- checkout instead of export so that we don't have to modify the

  Makefiles on branches of the build repository

diff --git a/build.sh b/build.sh
index d8d04c4..9ff7cf6 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -7,7 +7,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2003-2005 The Trustees of Princeton University
 #
-# $Id: build.sh,v 1.33 2006/03/16 16:38:43 mlhuang Exp $
+# $Id: build.sh,v 1.34 2006/06/07 21:18:28 mlhuang Exp $
 #
 
 # Set defaults
@@ -86,7 +86,7 @@ exec 2>&1
 exec &>${BASE}/log
 
 # Build
-cvs -d ${CVSROOT} export -r ${TAG} -d ${BASE} ${MODULE}
+cvs -d ${CVSROOT} checkout -r ${TAG} -d ${BASE} ${MODULE}
 make TAG=${TAG} PLDISTRO=${PLDISTRO} -C ${BASE} && \
 make TAG=${TAG} PLDISTRO=${PLDISTRO} -C ${BASE} install BASE=$BASE BUILDS=$BUILDS
 rc=$?