From 9d11b2311ef01f8b03836f99be234ebb55ce10ba Mon Sep 17 00:00:00 2001 From: Steve McIntyre Date: Tue, 15 Dec 2020 11:44:56 +0000 Subject: [PATCH] When compressing translations, remove the uncompressed version It may cause build problems later if we keep it around --- tools/make_disc_trees.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/make_disc_trees.pl b/tools/make_disc_trees.pl index ca3a7988..7ee0ddf4 100755 --- a/tools/make_disc_trees.pl +++ b/tools/make_disc_trees.pl @@ -655,6 +655,7 @@ sub recompress { ! ($filename =~ m/\/.*\/i18n\/(Translation.*gz)$/o)) { system("rm -f $_.gz"); system("gzip -9c < $_ >$_.gz"); + system("rm -f $_"); } }