From 8b17076525cfc1861229da59081514634c5b0200 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Wed, 5 Sep 2018 14:37:06 +0200
Subject: [PATCH] jenkins-build-all: error msg when buildserver VM not found

---
 jenkins-build-all | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/jenkins-build-all b/jenkins-build-all
index 78a3239c..b96145c0 100755
--- a/jenkins-build-all
+++ b/jenkins-build-all
@@ -50,7 +50,8 @@ export VAGRANT_HOME=$SETUP_WORKSPACE/vagrant.d
 
 # make sure we have the right buildserver paths and its ready for use
 vagrant global-status \
-    | grep -F -e reproducible_setup_fdroid_build_environment -o -e fdroiddata/builder
+    | grep -F -e reproducible_setup_fdroid_build_environment -o -e fdroiddata/builder \
+    || (echo ERROR no buildserver VM found, exiting; exit 1)
 
 # the way we handle jenkins slaves doesn't copy the workspace to the slaves
 # so we need to "manually" clone the git repo here…