# HG changeset patch
# User Paul Eggert <eggert@cs.ucla.edu>
# Date 1462732702 25200
# Node ID 79b2ca5b5982502f106e4d8bf68358de37b26e81
# Parent  4b44cef16a450689cc0e437c29261bee3d24a716
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.

diff -r 4b44cef16a45 -r 79b2ca5b5982 ChangeLog
--- a/ChangeLog	Sun May 08 09:11:48 2016 -0700
+++ b/ChangeLog	Sun May 08 11:38:22 2016 -0700
@@ -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
diff -r 4b44cef16a45 -r 79b2ca5b5982 build-aux/git-version-gen
--- a/build-aux/git-version-gen	Sun May 08 09:11:48 2016 -0700
+++ b/build-aux/git-version-gen	Sun May 08 11:38:22 2016 -0700
@@ -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 @@
   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