diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-08-03 16:14:48 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-08-03 16:14:48 +0200 |
| commit | 7f5f0a1c8e3c5c912cca1443606b86007e99e765 (patch) | |
| tree | cd94398001a21492351c39f3ae9a4be0f7e99a5a /deploy_everywhere | |
| parent | bcdee0924dfd6bd083e68e8208911bd252b86cf4 (diff) | |
| download | jenkins.debian.net-7f5f0a1c8e3c5c912cca1443606b86007e99e765.tar.xz | |
rm the clone in my repo
Diffstat (limited to 'deploy_everywhere')
| -rwxr-xr-x | deploy_everywhere | 3 |
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 |