From 6ae364773ace750233055a530515eb843e910851 Mon Sep 17 00:00:00 2001 From: Steve McIntyre Date: Sat, 6 Jul 2019 10:53:40 +0100 Subject: [PATCH] Tweak logging again --- tools/make_disc_trees.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/make_disc_trees.pl b/tools/make_disc_trees.pl index c3e492ee..7c54b1d6 100755 --- a/tools/make_disc_trees.pl +++ b/tools/make_disc_trees.pl @@ -647,13 +647,13 @@ sub recompress { # Packages and Sources files; workaround for bug #402482 if ($filename =~ m/\/.*\/(Packages|Sources)$/o) { - print " Recompressing $filename\n"; + print LOG "Recompressing $filename\n"; system("gzip -9c < $_ >$_.gz"); } # Translation files need to be compressed in .gz format on CD? if ($filename =~ m/\/.*\/i18n\/(Translation.*)$/o && ! ($filename =~ m/\/.*\/i18n\/(Translation.*gz)$/o)) { - print " Recompressing $filename\n"; + print LOG "Recompressing $filename\n"; system("gzip -9c < $_ >$_.gz"); } }