index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | bin/get-assignment | 2 |
diff --git a/bin/get-assignment b/bin/get-assignment index d486738..c028007 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -50,7 +50,7 @@ hand_out_assignment() { } -if ! ${base_dir}/bin/sanity-check -r; then +if ! "${base_dir}/bin/sanity-check" -r; then >&2 echo 'Build master is not sane.' exit 1 fi |