precheck version numbers

[releases.git] / mkgitrel.rel

diff --git a/mkgitrel.rel b/mkgitrel.rel
index 6e8aa083259e24dde83e25ce66030e994f1ba6f1..5a7e6d5d2f0f2b1d74d676fb1843ed0e1e51c01b 100755 (executable)
--- a/mkgitrel.rel
+++ b/mkgitrel.rel
@@ -28,6 +28,13 @@ else
   exit 1
 fi
 
+if test -f linux-libre-$rel.check; then
+    success=false
+    git worktree remove logs/v$rel
+    git worktree remove --force sources/v$rel
+    continue
+fi &&
+
 DATE=$(git cat-file -p incr/v$rel |
        gawk '/^(author|tagger)/ {
                print strftime(PROCINFO["strftime"], $(NF-1))
@@ -83,8 +90,7 @@ if test "$rup" = "$cbr"; then
 fi &&
 
 git worktree remove logs/v$rel &&
-git worktree remove scripts/v$rel &&
-git worktree remove --force sources/v$rel
+git worktree remove scripts/v$rel
 
 done &&