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