From 54e2ae4a5bc69df1a1bf0b1887fc72d9ec4439a3 2018-11-29 22:32:34 From: Unknown Date: 2018-11-29 22:32:34 Subject: [PATCH] a --- diff --git a/rpi23-gen-image.sh b/rpi23-gen-image.sh index 427c2ff..3d52155 100755 --- a/rpi23-gen-image.sh +++ b/rpi23-gen-image.sh @@ -442,6 +442,11 @@ if [ -n "$SSH_USER_PUB_KEY" ] ; then fi fi +if [ "$ENABLE_NEXMON" = true ] && [ -n "$KERNEL_BRANCH" ] ; then + echo "error: Please unset KERNEL_BRANCH if using ENABLE_NEXMON" + exit 1 +fi + # Check if all required packages are installed on the build system for package in $REQUIRED_PACKAGES ; do if [ "$(dpkg-query -W -f='${Status}' "$package")" != "install ok installed" ] ; then