diff options
author | Eric Blake <eblake@redhat.com> | 2010-02-24 10:25:56 -0700 |
---|---|---|
committer | Eric Blake <eblake@redhat.com> | 2010-02-24 10:25:56 -0700 |
commit | 108cfb803174abf17eb101e9999b9d1a642ce1ba (patch) | |
tree | b527b8c14372fe05615ddab7c5d10ac6ca734aa3 /build-aux | |
parent | f9b7f189982bacbb55bcf30796f24d205ccd551a (diff) | |
download | gnulib-108cfb803174abf17eb101e9999b9d1a642ce1ba.tar.gz |
bootstrap, git-version-gen: use timestamp
Timestamps are useful, particularly for files copied into other
packages, to see how long since a file has forked.
* build-aux/git-version-gen (scriptversion): Force UTC.
* build-aux/bootstrap (scriptversion): New variable.
Signed-off-by: Eric Blake <eblake@redhat.com>
Diffstat (limited to 'build-aux')
-rwxr-xr-x | build-aux/bootstrap | 10 | ||||
-rwxr-xr-x | build-aux/git-version-gen | 5 |
2 files changed, 13 insertions, 2 deletions
diff --git a/build-aux/bootstrap b/build-aux/bootstrap index 875e751fa7..365a3d92ea 100755 --- a/build-aux/bootstrap +++ b/build-aux/bootstrap @@ -1,4 +1,6 @@ #! /bin/sh +# Print a version string. +scriptversion=2010-02-24.17; # UTC # Bootstrap this package from checked-out sources. @@ -841,3 +843,11 @@ fi bootstrap_epilogue echo "$0: done. Now you can run './configure'." + +# Local variables: +# eval: (add-hook 'write-file-hooks 'time-stamp) +# time-stamp-start: "scriptversion=" +# time-stamp-format: "%:y-%02m-%02d.%02H" +# time-stamp-time-zone: "UTC" +# time-stamp-end: "; # UTC" +# End: diff --git a/build-aux/git-version-gen b/build-aux/git-version-gen index 5f2f1cc719..16da2a8f6c 100755 --- a/build-aux/git-version-gen +++ b/build-aux/git-version-gen @@ -1,6 +1,6 @@ #!/bin/sh # Print a version string. -scriptversion=2010-01-27.16 +scriptversion=2010-02-24.17; # UTC # Copyright (C) 2007-2010 Free Software Foundation, Inc. # @@ -146,5 +146,6 @@ echo "$v" | tr -d '\012' # eval: (add-hook 'write-file-hooks 'time-stamp) # time-stamp-start: "scriptversion=" # time-stamp-format: "%:y-%02m-%02d.%02H" -# time-stamp-end: "$" +# time-stamp-time-zone: "UTC" +# time-stamp-end: "; # UTC" # End: |