diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-22 09:04:41 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-22 09:04:41 +0200 |
| commit | bc7c6279b3f64e82701e0d26a0c12483f994eed3 (patch) | |
| tree | 08be7a38e6ceaf788c0e3a23d634d308030f1616 /bin/get-assignment | |
| parent | 6e793c837f0d7c4eb691224ed85a6669015d29bd (diff) | |
| download | builder-bc7c6279b3f64e82701e0d26a0c12483f994eed3.tar.xz | |
bin/db-update bin/get-assignment bin/get-package-updates bin/return-assignment: check for sanity of build master before doing anything
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 66e8971..d486738 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -50,6 +50,11 @@ hand_out_assignment() { } +if ! ${base_dir}/bin/sanity-check -r; then + >&2 echo 'Build master is not sane.' + exit 1 +fi + # Create a lock file and a trap. exec 9> "${build_list_lock_file}" |