From c4228d11ff5df065ffce58a0df1e59c32ba593dd Mon Sep 17 00:00:00 2001
From: Pau Espin Pedrol <pespin@sysmocom.de>
Date: Wed, 7 Aug 2019 14:41:44 +0200
Subject: osmo-release.sh: Verify debian/rules dh_strip lines match LIBVERSION

Change-Id: Ib929bfac3689f35aaa58d7d079a46fff188b7e8e
---
 osmo-release.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/osmo-release.sh b/osmo-release.sh
index d59083c0..e9602aa1 100755
--- a/osmo-release.sh
+++ b/osmo-release.sh
@@ -60,6 +60,7 @@ if [ "z$LIBVERS" != "z" ]; then
 			else
 				echo "WARN: Found $file_matches files matching debian/lib*$major.install for LIBVERSION=$libversion, manual check required!"
 			fi
+
 			control_matches="$(grep -e "Package" "${GIT_TOPDIR}/debian/control" | grep "lib" | grep "$major$" | wc -l)"
 			if [ "z$control_matches" = "z0" ]; then
 				echo "ERROR: Found no matching Package lib*$major in debian/control for LIBVERSION=$libversion"
@@ -69,6 +70,19 @@ if [ "z$LIBVERS" != "z" ]; then
 			else
 				echo "WARN: Found $file_matches files matching 'Package: lib*$major' in debian/control for LIBVERSION=$libversion, manual check required!"
 			fi
+
+			dhstrip_lib_total="$(grep -e "dh_strip" "${GIT_TOPDIR}/debian/rules" | grep "\-plib" | wc -l)"
+			dhstrip_lib_matches="$(grep -e "dh_strip" "${GIT_TOPDIR}/debian/rules" | grep "\-plib" | grep "$major" | wc -l)"
+			if [ "z$dhstrip_lib_total" != "z0" ]; then
+				if [ "z$dhstrip_lib_matches" = "z0" ] ; then
+					echo "ERROR: Found no matching 'dh_strip -plib*$major' line in debian/rules for LIBVERSION=$libversion"
+					exit 1
+				elif [ "z$dhstrip_lib_total" = "z1" ]; then
+					echo "OK: Found 'dh_strip -plib*$major' in debian/rules for LIBVERSION=$libversion"
+				else
+					echo "WARN: Found $dhstrip_lib_matches/$dhstrip_lib_total dh_strip matches 'dh_strip -plib*$major' in debian/rules for LIBVERSION=$libversion, manual check required!"
+				fi
+			fi
 		done
 		# catch and forward exit from pipe subshell "while read":
 		if [ $? -ne 0 ]; then
-- 
cgit v1.2.3