diff --git a/jenkins-build-all b/jenkins-build-all index 66ee3610..78a3239c 100755 --- a/jenkins-build-all +++ b/jenkins-build-all @@ -91,5 +91,7 @@ fi $WORKSPACE/fdroid build --verbose --latest --no-tarball --all $wikiflag vagrant global-status -cd builder -vagrant status +if [ -d builder ]; then + cd builder + vagrant status +fi