diff options
author | Norbert Preining <preining@logic.at> | 2015-11-13 00:27:30 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2015-11-13 00:27:30 +0000 |
commit | dbf5a525a1567333dbd78a04b9f0ee24c25f1a56 (patch) | |
tree | 0e72e9aa4935d4d98c4da952977cb51fad397fcd /Master/texmf-dist/scripts | |
parent | 9a9418d608589b351db0477922967f0a8d37f9ae (diff) |
fmtutil: implement -recorder options to save .fls files
git-svn-id: svn://tug.org/texlive/trunk@38834 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/fmtutil.pl | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/Master/texmf-dist/scripts/texlive/fmtutil.pl b/Master/texmf-dist/scripts/texlive/fmtutil.pl index d01ad7cef1f..eb42f79d2d4 100755 --- a/Master/texmf-dist/scripts/texlive/fmtutil.pl +++ b/Master/texmf-dist/scripts/texlive/fmtutil.pl @@ -1,5 +1,5 @@ #!/usr/bin/env perl -# $Id$ +# $Id: fmtutil.pl 38582 2015-10-07 22:32:58Z karl $ # fmtutil - utility to maintain format files. # (Maintained in TeX Live:Master/texmf-dist/scripts/texlive.) # @@ -25,11 +25,11 @@ BEGIN { } -my $svnid = '$Id$'; -my $lastchdate = '$Date$'; +my $svnid = '$Id: fmtutil.pl 38582 2015-10-07 22:32:58Z karl $'; +my $lastchdate = '$Date: 2015-10-08 00:32:58 +0200 (Thu, 08 Oct 2015) $'; $lastchdate =~ s/^\$Date:\s*//; $lastchdate =~ s/ \(.*$//; -my $svnrev = '$Revision$'; +my $svnrev = '$Revision: 38582 $'; $svnrev =~ s/^\$Revision:\s*//; $svnrev =~ s/\s*\$$//; my $version = "r$svnrev ($lastchdate)"; @@ -124,6 +124,7 @@ our @cmdline_options = ( "version", "help|h", "strict", + "recorder", "_dumpdata", ); @@ -422,6 +423,7 @@ sub rebuild_one_format { my $texengine; my $jobswitch = "-jobname=$fmt"; my $prgswitch = "-progname=" ; + my $recorderswitch = ($opts{'recorder'} ? "-recorder" : ""); my $fmtfile = $fmt; my $kpsefmt; my $pool; @@ -528,7 +530,7 @@ sub rebuild_one_format { } # in mktexfmtMode we need to redirect *all* output to stderr - my $cmdline = "$eng -ini $tcxflag $jobswitch $prgswitch $texargs"; + my $cmdline = "$eng -ini $tcxflag $recorderswitch $jobswitch $prgswitch $texargs"; $cmdline .= " >&2" if $mktexfmtMode; $cmdline .= " <$nul"; my $retval = system($cmdline); @@ -585,6 +587,12 @@ sub rebuild_one_format { if (!File::Copy::move( "$fmt.log", "$fulldestdir/$fmt.log")) { print_deferred_error("Cannot move $fmt.log to $fulldestdir.\n"); } + if ($opts{'recorder'}) { + my $recfile = $fmt . ($fmt =~ m/^(aleph|lamed)$/ ? ".ofl" : ".fls"); + if (!File::Copy::move( $recfile, "$fulldestdir/$recfile")) { + print_deferred_error("Cannot move $recfile to $fulldestdir.\n"); + } + } my $destfile = "$fulldestdir/$fmtfile"; if (File::Copy::move( $fmtfile, $destfile )) { @@ -1163,6 +1171,7 @@ Options: exit successfully even if the required engine is missing, if it is included in the list. --quiet be silent + --recorder pass the -recorder option and save .fls files --test (not implemented, just for compatibility) --dolinks (not implemented, just for compatibility) --force (not implemented, just for compatibility) |