diff --git a/configs/raspberrypi_64_config b/configs/raspberrypi_64_config index 6dcc59836f..4460fac920 100755 --- a/configs/raspberrypi_64_config +++ b/configs/raspberrypi_64_config @@ -16,7 +16,7 @@ source configs/include/raspberrypi_common_config function platform_modify() { check_image_bitsize - if [ ${RASPBERRYPI_OS_REQUIRED_ID:-0} -ne 0 ] && ! check_image_os_id; then + if [ -n "${RASPBERRYPI_OS_REQUIRED_ID:+x}" ] && ! check_image_os_id; then echo "This configuration requires an image based on $RASPBERRYPI_OS_REQUIRED_ID." exit 1 fi diff --git a/configs/raspberrypi_config b/configs/raspberrypi_config index 950923c0cb..bde306f8da 100644 --- a/configs/raspberrypi_config +++ b/configs/raspberrypi_config @@ -11,7 +11,7 @@ source configs/include/raspberrypi_common_config function platform_modify() { check_image_bitsize - if [ ${RASPBERRYPI_OS_REQUIRED_ID:-0} -ne 0 ] && ! check_image_os_id; then + if [ -n "${RASPBERRYPI_OS_REQUIRED_ID:+x}" ] && ! check_image_os_id; then echo "This configuration requires an image based on $RASPBERRYPI_OS_REQUIRED_ID." exit 1 fi