mkgitrel: complete non-failing requests

diff --git a/mkgitrel b/mkgitrel
index 580ead0eda5d88723453590d6a76ebcd79412869..13685a649397d3f508071125722df662b02beb04 100755 (executable)
--- 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 d5fc330121576ca4bfc05c5fca7a6db6f12e4ece..4dd0639a393dc580c12fe9f20d65e6b79147fa4c 100755 (executable)
--- 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 847a7fd76de586ac3dc62aece52a7e53498cef13..9d7dd18d6098b87a3d4f19721095217401e21f37 100755 (executable)
--- 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 138a4497ad3684dc04aec77835c064798d3f755f..48dbe801412e1483e252c8c06dbd5907c1361965 100755 (executable)
--- 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