19 lines
960 B
Bash
Executable File
19 lines
960 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# CHECK -- 2026-11-02 workqueue-census, graded against the queue revision it pins.
|
|
#
|
|
# Entry point: this is the file every caller in this tree invokes, and it is
|
|
# invoked with `bash` (the q143 sweep honours the shebang, tools/verify.py's
|
|
# doc-command leg and a reader who types the path do not). It was a Python
|
|
# program with a `python3` shebang, so `bash CHECK` read rc 2 on shell syntax
|
|
# errors before grading anything. The grader moved to grade_census.py; this
|
|
# wrapper is the stable entry point, and it also passes through any argument.
|
|
#
|
|
# rc 0 green -- every leg passed
|
|
# rc 1 a fault (a moved cell, a digest that does not match, a stale pin)
|
|
# rc 2 could not grade (no git, no pin, no artifact)
|
|
set -u
|
|
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" || exit 2
|
|
[ -f "$HERE/grade_census.py" ] || {
|
|
echo "CANNOT GRADE: grade_census.py missing beside this entry point"; exit 2; }
|
|
exec python3 -u "$HERE/grade_census.py" "$@"
|