From 54e2ae4a5bc69df1a1bf0b1887fc72d9ec4439a3 2018-11-29 22:32:34
From: Unknown <xyz258@abwesend.de>
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