diff options
| -rwxr-xr-x | deploy_everywhere | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deploy_everywhere b/deploy_everywhere index c089b43f..292c45f3 100755 --- a/deploy_everywhere +++ b/deploy_everywhere @@ -41,6 +41,7 @@ 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 https://anonscm.debian.org/git/qa/jenkins.debian.net.git else cd jenkins.debian.net |