summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/texlive
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/scripts/texlive')
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/fmtutil.pl7
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.