projects
/
releases.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ec96a27
)
check for gnu rev mismatch
author
Alexandre Oliva
<lxoliva@fsfla.org>
Sun, 29 Aug 2021 15:50:17 +0000
(11:50 -0400)
committer
Alexandre Oliva
<lxoliva@fsfla.org>
Sun, 29 Aug 2021 15:50:17 +0000
(11:50 -0400)
mkgitrel.cln
patch
|
blob
|
history
diff --git
a/mkgitrel.cln
b/mkgitrel.cln
index 875afa03179f3ea805953832752753e4308c32df..865a813197484578b8d22d168d94820341930ba5 100755
(executable)
--- 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
} &&
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 &&
git worktree add --detach sources/v$rel $up/v$rup &&
git worktree add --detach logs/v$rel public/logs/v$prevn &&