version 1.7, 2025/03/10 17:14:32
|
version 1.8, 2025/03/10 17:16:33
|
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" |
exit 1 |
|
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}" |
exit 1 |
|
fi |
fi |
|
|
touch "${BUILD_WANTED}" > /dev/null 2>&1 |
touch "${BUILD_WANTED}" > /dev/null 2>&1 |