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=()