From 78a2f637963983e09bbf5cc75b357bfba28479fc Mon Sep 17 00:00:00 2001 From: Alexandre Oliva Date: Sun, 29 Aug 2021 11:50:17 -0400 Subject: [PATCH] check for gnu rev mismatch --- mkgitrel.cln | 10 ++++++++++ 1 file changed, 10 insertions(+) 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 && -- 2.31.1