From: Alexandre Oliva 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 &&