summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-12-11 22:27:57 +0000
committerKarl Berry <karl@freefriends.org>2017-12-11 22:27:57 +0000
commit3ddb0c552fa1d83f0a2f3d0e1d5e27263188f6b3 (patch)
treed83da0ea8b31ffa35ab1530e3964e5d3a05a6518 /Build
parentcc2ef5e95852522372fd88d95f5c394b830353c8 (diff)
retain svn ident info
git-svn-id: svn://tug.org/texlive/trunk@46046 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/texk/texlive/w32_wrapper/runscript.tlu4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu
index 285817f7fca..6cf4a3e9936 100755
--- a/Build/source/texk/texlive/w32_wrapper/runscript.tlu
+++ b/Build/source/texk/texlive/w32_wrapper/runscript.tlu
@@ -1,7 +1,7 @@
-local svnrevision = string.match("$Revision$", "%d+") or "0"
-local svndate = string.match("$Date$", "[-%d]+") or "2009-12-04"
+local svnrevision = string.match("$Revision: 46031 $", "%d+") or "0"
+local svndate = string.match("$Date: 2017-12-10 14:35:30 +0100 (Sun, 10 Dec 2017) $", "[-%d]+") or "2009-12-04"
local bannerstr = "runscript wrapper utility (rev. " ..
svnrevision .. ", " .. svndate .. ")\n" ..
"usage: runscript script-name [arguments]\n" ..