diff options
author | Karl Berry <karl@freefriends.org> | 2018-03-08 01:25:04 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-03-08 01:25:04 +0000 |
commit | 157e1cb7aaced3446caf13260924b9dd6d182ac1 (patch) | |
tree | 30ac96cf48b43b41974243b7efabe9fcef57185b /Build/source/build-aux/compile | |
parent | 50f3a5a4f3812f9f64e97420863cedcccfb68d85 (diff) |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@46886 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux/compile')
-rwxr-xr-x | Build/source/build-aux/compile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/build-aux/compile b/Build/source/build-aux/compile index 0bb9d0f53ab..99e50524b3b 100755 --- a/Build/source/build-aux/compile +++ b/Build/source/build-aux/compile @@ -1,7 +1,7 @@ #! /bin/sh # Wrapper for compilers which do not understand '-c -o'. -scriptversion=2017-09-16.17; # UTC +scriptversion=2018-03-07.03; # UTC # Copyright (C) 1999-2018 Free Software Foundation, Inc. # Written by Tom Tromey <tromey@cygnus.com>. @@ -340,7 +340,7 @@ exit $ret # 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" |