From: Freedo <freedo@linux-libre.fsfla.org>
Date: Thu, 18 May 2023 04:55:09 +0000 (+0000)
Subject: mkgitrel: complete non-failing requests
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=5f979af429f6810d56e418fcf342333cdb6d15a1;p=releases.git

mkgitrel: complete non-failing requests
---

diff --git a/mkgitrel b/mkgitrel
index 580ead0eda5..13685a64939 100755
--- a/mkgitrel
+++ b/mkgitrel
@@ -1,6 +1,6 @@
 #! /bin/bash
 
-# Copyright 2021 Alexandre Oliva <lxoliva@fsfla.org>
+# 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
diff --git a/mkgitrel.cln b/mkgitrel.cln
index d5fc3301215..4dd0639a393 100755
--- a/mkgitrel.cln
+++ b/mkgitrel.cln
@@ -1,6 +1,6 @@
 #! /bin/bash
 
-# Copyright 2021-2022 Alexandre Oliva <lxoliva@fsfla.org>
+# 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
@@ -56,9 +56,16 @@ git worktree add --detach logs/v$rel public/logs/v$prevn &&
 
 (cd logs/v$rel && git rm -f linux-*) &&
 
+if (cd sources/v$rel && ../../scripts/v$rel/deblob-$cbr) \
+       >& logs/v$rel/linux-libre-$rel.log; then
+  :
+else
+  grep -i error logs/v$rel/linux-libre-$rel.log > linux-libre-$rel.check
+  success=false; continue
+fi &&
+
 (
   cd sources/v$rel &&
-  ../../scripts/v$rel/deblob-$cbr >& ../../logs/v$rel/linux-libre-$rel.log &&
   git commit -m "GNU Linux-libre v$rel incremental" -a &&
   git tag incr/v$rel
 ) &&
@@ -114,8 +121,9 @@ fi &&
 
 continue
 
+echo something went wrong > linux-libre-$rel.check
 success=false
 
 done &&
 
-$success
+: $success
diff --git a/mkgitrel.pub b/mkgitrel.pub
index 847a7fd76de..9d7dd18d609 100755
--- a/mkgitrel.pub
+++ b/mkgitrel.pub
@@ -1,6 +1,6 @@
 #! /bin/bash
 
-# Copyright 2021-2022 Alexandre Oliva <lxoliva@fsfla.org>
+# 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
@@ -96,4 +96,4 @@ success=false
 
 done &&
 
-$success
+: $success
diff --git a/mkgitrel.rel b/mkgitrel.rel
index 138a4497ad3..48dbe801412 100755
--- a/mkgitrel.rel
+++ b/mkgitrel.rel
@@ -1,6 +1,6 @@
 #! /bin/bash
 
-# Copyright 2021-2022 Alexandre Oliva <lxoliva@fsfla.org>
+# 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