diff options
| -rwxr-xr-x | deploy_everywhere | 3 |
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 |