summaryrefslogtreecommitdiffstats
path: root/deploy_everywhere
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2016-08-03 16:14:48 +0200
committerHolger Levsen <holger@layer-acht.org>2016-08-03 16:14:48 +0200
commit7f5f0a1c8e3c5c912cca1443606b86007e99e765 (patch)
treecd94398001a21492351c39f3ae9a4be0f7e99a5a /deploy_everywhere
parentbcdee0924dfd6bd083e68e8208911bd252b86cf4 (diff)
downloadjenkins.debian.net-7f5f0a1c8e3c5c912cca1443606b86007e99e765.tar.xz
rm the clone in my repo
Diffstat (limited to 'deploy_everywhere')
-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