diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2018-12-06 17:21:47 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2018-12-06 17:21:47 +0000 |
| commit | c37cd4398a684010b39e0c09f1132757e11edbf1 (patch) | |
| tree | f6cbe22243b1cf7f1c2105c0b8cc598fae8a4783 /scripts/move-if-change | |
| parent | 899478c2bfa00c5df8d8bedb52effbb065700278 (diff) | |
| download | glibc-c37cd4398a684010b39e0c09f1132757e11edbf1.tar glibc-c37cd4398a684010b39e0c09f1132757e11edbf1.tar.gz glibc-c37cd4398a684010b39e0c09f1132757e11edbf1.tar.bz2 glibc-c37cd4398a684010b39e0c09f1132757e11edbf1.zip | |
Update miscellaneous files from upstream sources.
This patch updates various miscellaneous files from their upstream
sources.
Tested for x86_64, including "make pdf".
* manual/texinfo.tex: Update to version 2018-09-21.20 with
trailing whitespace removed.
* scripts/config.guess: Update to version 2018-11-28.
* scripts/config.sub: Update to version 2018-11-28.
* scripts/install-sh: Update to version 2018-03-11.20.
* scripts/mkinstalldirs: Update to version 2018-03-07.03.
* scripts/move-if-change: Update to version 2018-03-07 03:47.
Diffstat (limited to 'scripts/move-if-change')
| -rwxr-xr-x | scripts/move-if-change | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/move-if-change b/scripts/move-if-change index f15923613c..5da3eae80a 100755 --- a/scripts/move-if-change +++ b/scripts/move-if-change @@ -2,7 +2,7 @@ # Like mv $1 $2, but if the files are the same, just delete $1. # Status is zero if successful, nonzero otherwise. -VERSION='2017-09-13 06:45'; # UTC +VERSION='2018-03-07 03:47'; # UTC # The definition above must lie within the first 8 lines in order # for the Emacs time-stamp write hook (at end) to update it. # If you change this file with Emacs, please let the write hook @@ -75,7 +75,7 @@ else fi ## Local Variables: -## eval: (add-hook 'write-file-hooks 'time-stamp) +## eval: (add-hook 'before-save-hook 'time-stamp) ## time-stamp-start: "VERSION='" ## time-stamp-format: "%:y-%02m-%02d %02H:%02M" ## time-stamp-time-zone: "UTC0" |