Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/get-assignment
diff options
context:
space:
mode:
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