From 5f979af429f6810d56e418fcf342333cdb6d15a1 Mon Sep 17 00:00:00 2001 From: Freedo Date: Thu, 18 May 2023 04:55:09 +0000 Subject: [PATCH] mkgitrel: complete non-failing requests --- mkgitrel | 2 +- mkgitrel.cln | 14 +++++++++++--- mkgitrel.pub | 4 ++-- mkgitrel.rel | 2 +- 4 files changed, 15 insertions(+), 7 deletions(-) diff --git a/mkgitrel b/mkgitrel index 580ead0eda5..13685a64939 100755 --- a/mkgitrel +++ b/mkgitrel @@ -1,6 +1,6 @@ #! /bin/bash -# Copyright 2021 Alexandre Oliva +# Copyright 2021-2023 Alexandre Oliva # # 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 +# Copyright 2021-2023 Alexandre Oliva # # 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 +# Copyright 2021-2023 Alexandre Oliva # # 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 +# Copyright 2021-2023 Alexandre Oliva # # 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 -- 2.31.1