diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-16 17:16:14 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-16 17:16:57 -0700 |
| commit | 9a2f2467b4c20bc43a2e9ad1ea4a21b59e9ded48 (patch) | |
| tree | 58b1b98cf7b89834bc58b5b647e09bd9428d515e /build-aux | |
| parent | b502e350547614f1a12ba5f8fa3666d38e65ecc7 (diff) | |
| download | autoconf-9a2f2467b4c20bc43a2e9ad1ea4a21b59e9ded48.tar.gz | |
"time stamp" -> "timestamp", as per POSIX
Diffstat (limited to 'build-aux')
| -rwxr-xr-x | build-aux/git-version-gen | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/git-version-gen b/build-aux/git-version-gen index 6c56147d..818578f3 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=2017-09-17.00; # UTC # Copyright (C) 2007-2016 Free Software Foundation, Inc. # @@ -200,7 +200,7 @@ v=`echo "$v" |sed "s/^$prefix//"` # string we're using came from git. I.e., skip the test if it's "UNKNOWN" # or if it came from .tarball-version. if test "x$v_from_git" != x; then - # Don't declare a version "dirty" merely because a time stamp has changed. + # Don't declare a version "dirty" merely because a timestamp has changed. git update-index --refresh > /dev/null 2>&1 dirty=`exec 2>/dev/null;git diff-index --name-only HEAD` || dirty= |