diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2016-05-08 11:38:22 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-05-08 11:39:20 -0700 |
commit | de37a1ca04a04f16c75ba809452336fb55bcbf98 (patch) | |
tree | e041aaac552677ec0b928739cb1fa2abf7af6bf2 /build-aux/git-version-gen | |
parent | 6560242c4a34f555dd079c8e8d4ebd29bc95c161 (diff) | |
download | gnulib-de37a1ca04a04f16c75ba809452336fb55bcbf98.tar.gz |
git-version-gen: avoid undefined shift
Problem reported by Mosè Giordano in:
http://lists.gnu.org/archive/html/bug-gnulib/2016-05/msg00012.html
* build-aux/git-version-gen: Avoid undefined behavior if invoked
with --prefix or --fallback but without a later argument. While
we're at it, omit unnecessary quotes.
Diffstat (limited to 'build-aux/git-version-gen')
-rwxr-xr-x | build-aux/git-version-gen | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build-aux/git-version-gen b/build-aux/git-version-gen index 6c56147d2c..bd2c4b6b5a 100755 --- a/build-aux/git-version-gen +++ b/build-aux/git-version-gen @@ -1,6 +1,6 @@ #!/bin/sh # Print a version string. -scriptversion=2016-01-11.22; # UTC +scriptversion=2016-05-08.18; # UTC # Copyright (C) 2007-2016 Free Software Foundation, Inc. # @@ -101,8 +101,8 @@ while test $# -gt 0; do case $1 in --help) echo "$usage"; exit 0;; --version) echo "$version"; exit 0;; - --prefix) shift; prefix="$1";; - --fallback) shift; fallback="$1";; + --prefix) shift; prefix=${1?};; + --fallback) shift; fallback=${1?};; -*) echo "$0: Unknown option '$1'." >&2 echo "$0: Try '--help' for more information." >&2 |