diff options
Diffstat (limited to 'build-aux/do-release-commit-and-tag')
| -rwxr-xr-x | build-aux/do-release-commit-and-tag | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/do-release-commit-and-tag b/build-aux/do-release-commit-and-tag index 7441dbdb7c..b4f3251f8c 100755 --- a/build-aux/do-release-commit-and-tag +++ b/build-aux/do-release-commit-and-tag @@ -3,7 +3,7 @@ # controlled .prev-version file, automate the procedure by which we record # the date, release-type and version string in the NEWS file. That commit # will serve to identify the release, so apply a signed tag to it as well. -VERSION=2016-01-11.22 # UTC +VERSION=2016-01-12.23 # UTC # Note: this is a bash script (could be zsh or dash) @@ -94,7 +94,7 @@ do opt=$(echo "$1" | sed -e 's/=.*//') val=$(echo "$1" | sed -e 's/[^=]*=//') shift - set dummy "$opt" "$val" ${1+"$@"}; shift + set dummy "$opt" "$val" "$@"; shift ;; esac |