summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmkconfig5
1 files changed, 5 insertions, 0 deletions
diff --git a/mkconfig b/mkconfig
index 4c5675b..1075510 100755
--- a/mkconfig
+++ b/mkconfig
@@ -27,6 +27,11 @@ done
[ $# -lt 4 ] && exit 1
[ $# -gt 6 ] && exit 1
+if [ "${ARCH}" -a "${ARCH}" != "$2" ]; then
+ echo "Failed: \$ARCH=${ARCH}, should be '$2' for ${BOARD_NAME}" 1>&2
+ exit 1
+fi
+
echo "Configuring for ${BOARD_NAME} board..."
#