diff options
author | Reinhard Kotucha <reinhard.kotucha@web.de> | 2008-01-29 23:28:31 +0000 |
---|---|---|
committer | Reinhard Kotucha <reinhard.kotucha@web.de> | 2008-01-29 23:28:31 +0000 |
commit | 14c8208f883a57ca3916e7bc2140572403dead50 (patch) | |
tree | bfa7fac8fabb568f78f1e0defb333a5f9e543ad7 /Master/tlpkg | |
parent | 18ea1b00ee3a77c35bdba3da3ff2325989d9895c (diff) |
TLUtils.pm: time stamps for all systems.
git-svn-id: svn://tug.org/texlive/trunk@6443 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rw-r--r-- | Master/tlpkg/TeXLive/TLUtils.pm | 21 |
1 files changed, 6 insertions, 15 deletions
diff --git a/Master/tlpkg/TeXLive/TLUtils.pm b/Master/tlpkg/TeXLive/TLUtils.pm index 72a69c17e1f..a042eca0f70 100644 --- a/Master/tlpkg/TeXLive/TLUtils.pm +++ b/Master/tlpkg/TeXLive/TLUtils.pm @@ -971,11 +971,8 @@ sub create_fmtutil { if ($#lines >= 0) { open(OUTFILE,">$dest") or die("Cannot open $dest for writing: $!"); - if (win32()) { - print OUTFILE "# Generated by $0 on some unknown date\n"; - } else { - print OUTFILE "# Generated by $0 on " . `date`; - } + + printf OUTFILE "# Generated by %s on %s\n", "$0", scalar localtime; print OUTFILE @lines; close(OUTFILE) || warn "close(>$dest) failed: $!"; } @@ -997,11 +994,8 @@ sub create_updmap { if ($#lines >= 0) { open(OUTFILE,">$dest") or die("Cannot open $dest for writing: $!"); - if (win32()) { - print OUTFILE "# Generated by $0 on unknown date\n"; - } else { - print OUTFILE "# Generated by $0 on " . `date`; - } + + printf OUTFILE "# Generated by %s on %s\n", "$0", scalar localtime; print OUTFILE @lines; close(OUTFILE) || warn "close(>$dest) failed: $!"; } @@ -1023,11 +1017,8 @@ sub create_language { if ($#lines >= 0) { open(OUTFILE,">$dest") or die("Cannot open $dest for writing: $!"); - if (win32()) { - print OUTFILE "% Generated by $0 on some unknown date\n"; - } else { - print OUTFILE "% Generated by $0 on " . `date`; - } + + printf OUTFILE "# Generated by %s on %s\n", "$0", scalar localtime; print OUTFILE @lines; close(OUTFILE) || warn "close(>$dest) failed: $!"; } |