]> Savannah Git Hosting - gnulib.git/commitdiff
git-version-gen: avoid undefined shift
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 8 May 2016 18:38:22 +0000 (11:38 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 8 May 2016 18:39:20 +0000 (11:39 -0700)
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.

ChangeLog
build-aux/git-version-gen

index 803a00884fe202974dfa99a272c2cadfc122f999..fe747e52c43d77d75560847ff7817c74e12c29e4 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2016-05-08  Paul Eggert  <eggert@cs.ucla.edu>
+
+       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.
+
 2016-05-04  Paul Eggert  <eggert@cs.ucla.edu>
 
        glob: merge glibc changes into lib/glob.c
index 6c56147d2cf3d4b4af192537f34847ea219d5748..bd2c4b6b5aa33f78c8a408e32440772606a8b734 100755 (executable)
@@ -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