aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--NEWS3
-rw-r--r--genhdlist22
2 files changed, 4 insertions, 1 deletions
diff --git a/NEWS b/NEWS
index ef0e514..2e4aac8 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,6 @@
+- actually compress xml files with '--text' flag passed to lzma (shrinks
+ files.xml.lzma by 25% \o/)
+
Version 6.2 - 27 February 2012, by Thierry Vignaud
- keep real filesizes in synthesis
diff --git a/genhdlist2 b/genhdlist2
index 63c4e47..89e16bd 100644
--- a/genhdlist2
+++ b/genhdlist2
@@ -18,7 +18,7 @@ sub main() {
my %options = (
synthesis_filter => '.cz:gzip -9',
xml_info => 'auto',
- xml_info_filter => '.lzma:lzma -5',
+ xml_info_filter => '.lzma:lzma -5 --text',
versioned => 'auto'
);