From: Alexandre Oliva <lxoliva@fsfla.org>
Date: Sun, 29 Aug 2021 15:50:17 +0000 (-0400)
Subject: check for gnu rev mismatch
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=78a2f637963983e09bbf5cc75b357bfba28479fc;p=releases.git

check for gnu rev mismatch
---

diff --git a/mkgitrel.cln b/mkgitrel.cln
index 875afa03179..865a8131974 100755
--- a/mkgitrel.cln
+++ b/mkgitrel.cln
@@ -38,6 +38,16 @@ git verify-tag $up/v$rup &&
   git worktree add --detach scripts/v$rel scripts/$cbr
 } &&
 
+case $(sed -n 's,^kver=\(.*\) extra=\(.*\),\1-gnu\2,p' \
+	   scripts/v$rel/deblob-$cbr) in
+"$cbr$(echo $rel | sed -n 's,.*\(-gnu\),\1,p')") ;;
+*) echo $rel mismatches release implied by scripts/v$rel/deblob-$cbr >&2
+   echo "$cbr$(echo $rel | sed -n 's,.*\(-gnu\),\1,p')" vs \
+	$(sed -n 's,^kver=\(.*\) extra=\(.*\),\1-gnu\2,p' \
+	   scripts/v$rel/deblob-$cbr) >&2
+   continue;;
+esac &&
+
 git worktree add --detach sources/v$rel $up/v$rup &&
 
 git worktree add --detach logs/v$rel public/logs/v$prevn &&