From: Freedo Date: Mon, 12 Jun 2023 02:13:33 +0000 (+0000) Subject: mkgitrel: support --force for early cleaning up X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=7a94fce0601c626bd5fff1d952c24ecbad02ecc1;p=releases.git mkgitrel: support --force for early cleaning up --- diff --git a/mkgitrel b/mkgitrel index 13685a64939..6b4ef1a2706 100755 --- a/mkgitrel +++ b/mkgitrel @@ -22,7 +22,7 @@ # USA -# usage: mkgitrel 5.5.5-gnu 5.4.3-gnu 5.0.111-gnu1 ... +# usage: mkgitrel [--force] 5.5.5-gnu 5.4.3-gnu 5.0.111-gnu1 ... # This is our release engineering script. It's very tied to our # internal cleaning-up repository structure, as well as to our public @@ -35,9 +35,11 @@ # for manual verification before preparing tags and tarballs for # publishing. +force= && case $1 in --force) force=$1; shift;; esac + $0.pre "$@" && -$0.cln "$@" && +$0.cln $force "$@" && echo all revs cleaned up, awaiting manual check results... && diff --git a/mkgitrel.cln b/mkgitrel.cln index 4dd0639a393..85c3ad54c20 100755 --- a/mkgitrel.cln +++ b/mkgitrel.cln @@ -24,6 +24,8 @@ scriptdir=$(dirname "$0") . $scriptdir/mkgitrel.gcfg +force= && case $1 in --force) force=$1; shift;; esac + success=: for rel do @@ -56,7 +58,7 @@ 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) \ +if (cd sources/v$rel && ../../scripts/v$rel/deblob-$cbr $force) \ >& logs/v$rel/linux-libre-$rel.log; then : else @@ -119,6 +121,11 @@ fi && > linux-libre-$rel.check || { success=false; continue; }; } && +if test -n "$force"; then + echo --force is for testing only >> linux-libre-$rel.check + success=false +fi && + continue echo something went wrong > linux-libre-$rel.check