From d073da7d3aa30cd22940faec3e32de640a43e73d Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 13 Nov 2017 15:40:06 +0100
Subject: exit more often and more silent if build-master-sanity existent

---
 bin/build-master-status | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'bin/build-master-status')

diff --git a/bin/build-master-status b/bin/build-master-status
index 15df41c..719b22b 100755
--- a/bin/build-master-status
+++ b/bin/build-master-status
@@ -55,6 +55,11 @@ if [ $# -ne 0 ]; then
   usage
 fi
 
+if [ -s "${work_dir}/build-master-sanity" ]; then
+  >&2 echo 'Build master is not sane.'
+  exit
+fi
+
 tmp_dir=$(mktemp -d)
 trap 'rm -rf --one-file-system "${tmp_dir}"' EXIT
 
-- 
cgit v1.2.3-54-g00ecf