From 48197b7b95b4a9a2160379921b904bb7b4617e26 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 3 Aug 2017 10:44:14 +0200
Subject: use sanity-flag file instead of actually checking build master sanity

---
 bin/return-assignment | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/return-assignment')

diff --git a/bin/return-assignment b/bin/return-assignment
index ab28c90..cd9656d 100755
--- a/bin/return-assignment
+++ b/bin/return-assignment
@@ -20,7 +20,7 @@
 
 . "${0%/*}/../conf/default.conf"
 
-if ! "${base_dir}/bin/sanity-check" -r; then
+if [ -s "${work_dir}/build-master-sanity" ]; then
   >&2 echo 'Build master is not sane.'
   exit 1
 fi
-- 
cgit v1.2.3-70-g09d2