version 1.7, 2025/03/10 17:14:32
|
version 1.9, 2025/03/10 17:17:29
|
Line 298 case $ACTION in
|
Line 298 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" |
exit 1 |
continue |
fi |
fi |
|
|
BUILD_WANTED="${PROJECT_BASE}/hosts/${BUILD_HOST}/build-wanted" |
BUILD_WANTED="${PROJECT_BASE}/hosts/${BUILD_HOST}/build-wanted" |
Line 306 case $ACTION in
|
Line 306 case $ACTION in
|
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}" |
exit 1 |
continue |
fi |
fi |
|
|
touch "${BUILD_WANTED}" > /dev/null 2>&1 |
touch "${BUILD_WANTED}" > /dev/null 2>&1 |