From bc7c6279b3f64e82701e0d26a0c12483f994eed3 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 22 Jun 2017 09:04:41 +0200
Subject: bin/db-update bin/get-assignment bin/get-package-updates
 bin/return-assignment: check for sanity of build master before doing anything

---
 bin/get-package-updates | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'bin/get-package-updates')

diff --git a/bin/get-package-updates b/bin/get-package-updates
index d1ceaaa..5faf6f5 100755
--- a/bin/get-package-updates
+++ b/bin/get-package-updates
@@ -72,6 +72,11 @@ if [ $# -ne 0 ]; then
   usage
 fi
 
+if ! ${base_dir}/bin/sanity-check -r; then
+  >&2 echo 'Build master is not sane.'
+  exit 1
+fi
+
 # delete_package package
 # mark $package for deletion
 delete_package() {
-- 
cgit v1.2.3-54-g00ecf