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