From 48197b7b95b4a9a2160379921b904bb7b4617e26 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Thu, 3 Aug 2017 10:44:14 +0200 Subject: use sanity-flag file instead of actually checking build master sanity --- bin/cleanup | 2 +- bin/db-update | 2 +- bin/get-assignment | 2 +- bin/get-package-updates | 2 +- bin/return-assignment | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) (limited to 'bin') diff --git a/bin/cleanup b/bin/cleanup index f01ba98..93af0bc 100755 --- a/bin/cleanup +++ b/bin/cleanup @@ -11,7 +11,7 @@ if ! tty -s && \ exit fi -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 diff --git a/bin/db-update b/bin/db-update index 4f3cc38..cce65c8 100755 --- a/bin/db-update +++ b/bin/db-update @@ -376,7 +376,7 @@ packages_to_stabilize=$( ${@} ) -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 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 diff --git a/bin/get-package-updates b/bin/get-package-updates index e91e471..d7d6b3b 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -72,7 +72,7 @@ if [ $# -ne 0 ]; then usage fi -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 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-54-g00ecf