diff --git a/scripts/obs/check_builders.sh b/scripts/obs/check_builders.sh index 609c467c..f5ed9450 100755 --- a/scripts/obs/check_builders.sh +++ b/scripts/obs/check_builders.sh @@ -1,5 +1,5 @@ #!/bin/sh -ex -count=14 +count=17 wget -q https://obs.osmocom.org -O index.html if ! grep -q " of $count build hosts" index.html; then