obs: check_builders: actually fail on error

Change-Id: I820bd22dcff8d8b216197b7461c1c810e09cf01d
2022-10-27 15:43:42 +02:00 · 2022-10-27 15:43:42 +02:00 · 05632c1cb2
parent 0196a02934
commit 05632c1cb2
1 changed files with 1 additions and 0 deletions
--- a/scripts/obs/check_builders.sh
+++ b/scripts/obs/check_builders.sh
@ -8,4 +8,5 @@ if ! grep -q " of $count build hosts" index.html; then
 	echo
 	echo "ERROR: expected $count builders to be connected to OBS!"
 	echo
+	exit 1
 fi