diff options
author | Norbert Preining <preining@logic.at> | 2022-07-19 01:58:57 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2022-07-19 01:58:57 +0000 |
commit | 3618a5865c64ece5f9bd95a34a147b6c2657e296 (patch) | |
tree | 119c6700483f5526834a3bc5eb16b18b8ec8fb72 /Master/texmf-dist/scripts | |
parent | c06664324d6fbc714c12b68f7a719b1abfcf3950 (diff) |
fmtutil: add cmdline to format build log files
git-svn-id: svn://tug.org/texlive/trunk@63934 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/fmtutil.pl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/fmtutil.pl b/Master/texmf-dist/scripts/texlive/fmtutil.pl index a32ada7fc2b..db6a559fa38 100755 --- a/Master/texmf-dist/scripts/texlive/fmtutil.pl +++ b/Master/texmf-dist/scripts/texlive/fmtutil.pl @@ -808,6 +808,13 @@ sub rebuild_one_format { if ($opts{"dry-run"}) { print_info("would copy log file to: $destdir/$logfile\n"); } else { + # Add the actual invocation to the end of the log file + if (open(my $fd, ">>", $logfile)) { + print $fd "# actual command line used during this run\n# $cmdline\n"; + close($fd); + } else { + print_deferred_error("cannot append cmdline to log file"); + } # Here and in the following we use copy instead of move # to make sure that in SElinux enabled cases the rules of # the destination directory are applied. |