From 8e0c6a2e6c34fa94039bcb7706070915bc6fb87c Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Mon, 22 Oct 2007 13:58:16 +0000
Subject: [PATCH] Use https for svn.planet-lab.org and use "svn checkout"
 rather than "svn co" to checkout files.

---
 build.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build.sh b/build.sh
index 1c5a8a79..32769af1 100755
--- a/build.sh
+++ b/build.sh
@@ -13,7 +13,7 @@
 PATH=/sbin:/bin:/usr/sbin:/usr/bin
 
 # Set defaults
-SVNPATH=http://svn.planet-lab.org/svn
+SVNPATH=https://svn.planet-lab.org/svn
 TAG=trunk
 MODULE=build
 BASE=$PWD
@@ -123,7 +123,7 @@ if [ -n "$VSERVER" ] ; then
     # Checkout build directory
     VSUEXEC="vserver $BASE exec su - build -c"
 
-    $VSUEXEC "svn co ${SVNPATH}/${MODULE}/${TAG} ${MODULE}"
+    $VSUEXEC "svn checkout ${SVNPATH}/${MODULE}/${TAG} ${MODULE}"
 
     # Build
     #XXX vserver $BASE suexec build ${MODULE}/make.sh TAG=${TAG} PLDISTRO=${PLDISTRO}
@@ -136,7 +136,7 @@ if [ -n "$VSERVER" ] ; then
     vserver $BASE stop
 else
     # Checkout build directory
-    svn co ${SVNPATH}/${MODULE}/${TAG} ${BASE}
+    svn checkout ${SVNPATH}/${MODULE}/${TAG} ${BASE}
 
     # Build
     ${BASE}/make.sh TAG=${TAG} PLDISTRO=${PLDISTRO}
-- 
2.47.0