chiark / gitweb /
lint: fix update check data https check
[fdroidserver.git] / jenkins-build-all
index 66ee3610280ca96e99becdadbd617533bfa5c79d..78a3239cf09d0147fe1ead83bb275594f250c41b 100755 (executable)
@@ -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