From 1f78543d08b5fc0df474606a7af6876365d31bd4 Mon Sep 17 00:00:00 2001 From: Taiki Endo Date: Sat, 20 Apr 2024 13:39:09 +0900 Subject: [PATCH] tools: Update publish.sh --- tools/publish.sh | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/tools/publish.sh b/tools/publish.sh index 7619b1d7..bd3ad9dd 100755 --- a/tools/publish.sh +++ b/tools/publish.sh @@ -15,14 +15,6 @@ trap 's=$?; echo >&2 "$0: error on line "${LINENO}": ${BASH_COMMAND}"; exit ${s} # Note: This script requires the following tools: # - parse-changelog -x() { - local cmd="$1" - shift - ( - set -x - "${cmd}" "$@" - ) -} retry() { for i in {1..10}; do if "$@"; then @@ -108,8 +100,11 @@ echo "=======================================" if [[ -n "${tags}" ]]; then # Create a release commit. - x git add "${changelog}" - x git commit -m "Release ${version}" + ( + set -x + git add "${changelog}" + git commit -m "Release ${version}" + ) fi tools=()