projects
/
releases.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
accept gnu rev
[releases.git]
/
mkgitrel.pub
diff --git
a/mkgitrel.pub
b/mkgitrel.pub
index f48fc5f1155af8324f144c6589d2cb087e994ab5..0295e14cf23b5d0b2836fa473a6a4777a4f220d8 100755
(executable)
--- a/
mkgitrel.pub
+++ b/
mkgitrel.pub
@@
-34,6
+34,13
@@
DATE=$(git cat-file -p incr/v$rel |
}') &&
export GIT_COMMITTER_DATE=$DATE GIT_AUTHOR_DATE=$DATE &&
}') &&
export GIT_COMMITTER_DATE=$DATE GIT_AUTHOR_DATE=$DATE &&
+if test -f linux-libre-$rel.check; then
+ echo linux-libre-$rel.check exists, abandoning this release
+ git tag -d incr/v$rel logs/v$rel sources/v$rel |&
+ tee -a linux-libre-$rel.dtags
+ continue
+fi &&
+
while test -f linux-libre-$rel.patck; do
echo please verify linux-libre-$rel.patck and move it away to complete the release
sleep 30
while test -f linux-libre-$rel.patck; do
echo please verify linux-libre-$rel.patck and move it away to complete the release
sleep 30
@@
-69,8
+76,10
@@
for x in scripts sources logs; do
git tag public/$x/v$rel $x/v$rel &&
git tag -d $x/v$rel
fi
git tag public/$x/v$rel $x/v$rel &&
git tag -d $x/v$rel
fi
-done
+done &&
+
+git worktree remove --force sources/v$rel
done &&
done &&
-$success
\ No newline at end of file
+$success