summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xdeploy_everywhere3
1 files changed, 0 insertions, 3 deletions
diff --git a/deploy_everywhere b/deploy_everywhere
index 08f5aaeb..b110cb04 100755
--- a/deploy_everywhere
+++ b/deploy_everywhere
@@ -34,9 +34,6 @@ 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
[ -x /usr/bin/git ] || sudo apt-get install -y git
sudo -u jenkins-adm git clone $GIT_REPO
cd jenkins.debian.net