From c2cbe205d79db8c48a93c089d34db5ce18a823de Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 15 Jan 2010 09:21:02 +0000
Subject: [PATCH] smooth incremental builds when tests-SVNPATH changes

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

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 0e5c7790..1a5af6ea 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -559,6 +559,8 @@ function main () {
 	    # update build
 	    [ -n "$SSH_KEY" ] && setupssh ${BASE} ${SSH_KEY}
 	    vserver ${BASE} exec svn update /build
+	    # make sure we refresh the tests place in case it has changed
+	    rm -f /build/tests_svnpath
 	    # get environment from the first run 
 	    FCDISTRO=$(vserver ${BASE} exec /build/getdistroname.sh)
 	    # retrieve all in one run
-- 
2.47.0