From cb881081294f0638d538dd52b78fdebc19905da0 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Sun, 23 May 2010 16:54:31 +0200
Subject: [PATCH] extract /build in vserver with git clone so an incremenatal
 build can then git pull

---
 vbuild-nightly.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 815bf35b..3fedba79 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -627,7 +627,7 @@ function main () {
 	    # Extract build again - in the vserver
 	    [ -n "$SSH_KEY" ] && setupssh ${BASE} ${SSH_KEY}
 	    if echo $BUILD_SCM_URL | grep -q git ; then
-		vserver $BASE exec bash -c "mkdir /build ; git archive --remote=$GIT_REPO $GIT_TAG | tar -C /build -xf -"
+		vserver $BASE exec bash -c "git clone $GIT_REPO /build; cd /build; git checkout $GIT_TAG"
 	    else
 		vserver $BASE exec svn checkout ${BUILD_SCM_URL} /build
 	    fi
-- 
2.43.0