summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xdeploy_everywhere3
1 files changed, 3 insertions, 0 deletions
diff --git a/deploy_everywhere b/deploy_everywhere
index 4030cd86..c089b43f 100755
--- a/deploy_everywhere
+++ b/deploy_everywhere
@@ -38,6 +38,9 @@ set -e
export LANG=C
cd ~jenkins-adm
if [ ! -d jenkins.debian.net ]; then
+ if [ -d ~holger/jenkins.debian.net ] ; then
+ rm ~holger/jenkins.debian.net -rf
+ fi
sudo -u jenkins-adm git clone https://anonscm.debian.org/git/qa/jenkins.debian.net.git
else
cd jenkins.debian.net