make sure python and gawk are available

[releases.git] / mkgitrel.pub

diff --git a/mkgitrel.pub b/mkgitrel.pub
index f48fc5f1155af8324f144c6589d2cb087e994ab5..9d7dd18d6098b87a3d4f19721095217401e21f37 100755 (executable)
--- a/mkgitrel.pub
+++ b/mkgitrel.pub
@@ -1,44 +1,61 @@
 #! /bin/bash
 
-reldir=$HOME/linux-libre/releases
+# Copyright 2021-2023 Alexandre Oliva <lxoliva@fsfla.org>
+#
+# This program is part of GNU Linux-libre, a GNU project that
+# publishes scripts to clean up Linux so as to make it suitable for
+# use in the GNU Project and in Free System Distributions.
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
+# USA
 
-key=474402C8C582DAFBE389C427BCB7CF877E7D47A7
+scriptdir=$(dirname "$0")
+. $scriptdir/mkgitrel.gcfg
 
 success=:
 for rel
 do
     
-rup=$(echo "$rel" | sed 's,-gnu[0-9]*$,,')
-cbr=$(echo "$rup" | sed 's,\(\.\|-rc\)[0-9]*$,,')
+. $scriptdir/mkgitrel.setprev &&
 
-if test -d $reldir/$rel; then
-  echo $reldir/$rel exists >&2
-  continue
-fi
+. $scriptdir/mkgitrel.setdate &&
 
-if test -h $reldir/LATEST-$cbr.0; then
-  prev0=$(readlink $reldir/LATEST-$cbr.0)
-  prevn=$(readlink $reldir/LATEST-$cbr.N)
-elif test -h $reldir/LATEST-$rup.N; then
-  cbr=$rup
-  prev0=$(readlink $reldir/LATEST-$cbr.0)
-  prevn=$(readlink $reldir/LATEST-$cbr.N)
-else
-  echo Neither $reldir/LATEST-$cbr.0 nor $reldir/LATEST-$rup.N exist >&2
-  exit 1
-fi
+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 &&
 
-DATE=$(git cat-file -p incr/v$rel |
-       gawk '/^(author|tagger)/ {
-               print strftime(PROCINFO["strftime"], $(NF-1))
-             }') &&
-export GIT_COMMITTER_DATE=$DATE GIT_AUTHOR_DATE=$DATE &&
-
-while test -f linux-libre-$rel.patck; do
+while test -f linux-libre-$rel.patck && test ! -f linux-libre-$rel.check; do
   echo please verify linux-libre-$rel.patck and move it away to complete the release
   sleep 30
 done &&
 
+# Look for .check again, maybe it was created manually while we waited
+# for .patck to be removed.  In this case, we have to duplicate the
+# cleanups that .rel would have already done.
+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
+    git worktree remove logs/v$rel
+    git worktree remove --force sources/v$rel
+    continue
+fi &&
+
 (
   cd scripts/v$rel &&
   { { git reset --soft -q scripts/$cbr &&
@@ -69,8 +86,14 @@ for x in scripts sources logs; do
     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 &&
+
+continue
+
+success=false
 
 done &&
 
-$success
\ No newline at end of file
+: $success