From 3b971b2609835b44d6cf75ebd8c204938cc20dc3 Mon Sep 17 00:00:00 2001
From: Michael Olbrich <m.olbrich@pengutronix.de>
Date: Sun, 8 Dec 2019 11:02:50 +0100
Subject: make_release: ensure that the debian release version ist correct

Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
---
 scripts/make_release.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'scripts/make_release.sh')

diff --git a/scripts/make_release.sh b/scripts/make_release.sh
index 7c1013a..181d6fe 100755
--- a/scripts/make_release.sh
+++ b/scripts/make_release.sh
@@ -74,6 +74,12 @@ if grep -q UNRELEASED debian/changelog; then
 	exit 1
 fi
 
+debian_release="$(sed -n '1s/.*(\(.*\)-.*).*/\1/p' debian/changelog)"
+if [ "${release#${v}}" != "${debian_release}" ]; then
+	echo "release version from the debian/changelog (${debian_release}) does not match '${release#${v}}'" >&2
+	exit 1
+fi
+
 if [ "${1}" == "--test" ]; then
 	echo "test mode: all checks ok -- stopping"
 	exit
-- 
cgit v1.2.3