summaryrefslogtreecommitdiff
path: root/Build/source/build-aux/test-driver
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-02-28 18:26:18 +0000
committerKarl Berry <karl@freefriends.org>2019-02-28 18:26:18 +0000
commit7d4ae7b153260a980654b4cc6d909506a04c0950 (patch)
treec2fecdd6c6123c28db4055c7f2e42251fd7630e0 /Build/source/build-aux/test-driver
parentcc17ad601696f5cf966c8a0b9d79144cd42828a6 (diff)
automake 1.16 scripts sync
git-svn-id: svn://tug.org/texlive/trunk@50166 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux/test-driver')
-rwxr-xr-xBuild/source/build-aux/test-driver8
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/build-aux/test-driver b/Build/source/build-aux/test-driver
index 0218a01f616..b8521a482e2 100755
--- a/Build/source/build-aux/test-driver
+++ b/Build/source/build-aux/test-driver
@@ -1,9 +1,9 @@
#! /bin/sh
# test-driver - basic testsuite driver script.
-scriptversion=2016-01-11.22; # UTC
+scriptversion=2018-03-07.03; # UTC
-# Copyright (C) 2011-2017 Free Software Foundation, Inc.
+# Copyright (C) 2011-2018 Free Software Foundation, Inc.
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
@@ -16,7 +16,7 @@ scriptversion=2016-01-11.22; # UTC
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
-# along with this program. If not, see <http://www.gnu.org/licenses/>.
+# along with this program. If not, see <https://www.gnu.org/licenses/>.
# As a special exception to the GNU General Public License, if you
# distribute this file as part of a program that contains a
@@ -140,7 +140,7 @@ echo ":copy-in-global-log: $gcopy" >> $trs_file
# Local Variables:
# mode: shell-script
# sh-indentation: 2
-# eval: (add-hook 'write-file-hooks 'time-stamp)
+# eval: (add-hook 'before-save-hook 'time-stamp)
# time-stamp-start: "scriptversion="
# time-stamp-format: "%:y-%02m-%02d.%02H"
# time-stamp-time-zone: "UTC0"