summaryrefslogtreecommitdiff
path: root/bin/get-assignment
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-08-03 10:44:14 +0200
committerErich Eckner <git@eckner.net>2017-08-03 10:44:14 +0200
commit48197b7b95b4a9a2160379921b904bb7b4617e26 (patch)
tree38921a5f30309f4f4ddc2f24b79553030f821414 /bin/get-assignment
parent4ff3ae588805c768827ea174f74ce49cfccafcec (diff)
downloadbuilder-48197b7b95b4a9a2160379921b904bb7b4617e26.tar.xz
use sanity-flag file instead of actually checking build master sanity
Diffstat (limited to 'bin/get-assignment')
-rwxr-xr-xbin/get-assignment2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-assignment b/bin/get-assignment
index 08c7be3..fd76a7f 100755
--- a/bin/get-assignment
+++ b/bin/get-assignment
@@ -49,7 +49,7 @@ hand_out_assignment() {
}
-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