diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2017-01-09 11:55:22 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2017-01-09 11:58:08 -0800 |
commit | e89646ad6f767a475ac83b31ffc00ba17372964c (patch) | |
tree | 880a78cef6e2b3ee5f777915b1c39a0206898a33 /build-aux/git-version-gen | |
parent | 8d98f32d60bb9ed073a18b5bcceab56ffe0cd990 (diff) | |
download | gnulib-e89646ad6f767a475ac83b31ffc00ba17372964c.tar.gz |
maint: time stamp -> timestamp
Use the spelling "timestamp", as that is what POSIX uses.
Diffstat (limited to 'build-aux/git-version-gen')
-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 c29f9e5928..079849d5e5 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-05-08.18; # UTC +scriptversion=2017-01-09.19; # UTC # Copyright (C) 2007-2017 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= |