--- buildman/bm 2025/03/10 17:16:33 1.8 +++ buildman/bm 2025/03/10 17:17:29 1.9 @@ -297,14 +297,16 @@ case $ACTION in if [ ! -d "${BUILD_BASE}" ] then - echo "$PROGN error: build host ${BUILD_HOST} not configured" + echo "$PROGN error: build host ${BUILD_HOST} not configured" + continue fi BUILD_WANTED="${PROJECT_BASE}/hosts/${BUILD_HOST}/build-wanted" if [ -f "${BUILD_WANTED}" ] then - echo "$PROGN error: build already requested on ${BUILD_HOST}" + echo "$PROGN error: build already requested on ${BUILD_HOST}" + continue fi touch "${BUILD_WANTED}" > /dev/null 2>&1