summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/cleanup2
-rwxr-xr-xbin/db-update2
-rwxr-xr-xbin/get-assignment2
-rwxr-xr-xbin/get-package-updates2
-rwxr-xr-xbin/return-assignment2
5 files changed, 5 insertions, 5 deletions
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