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 8c44a03..dc0d3f0 100644
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,6 @@
+- compress synthesis files with '--text' flag passed to xz (shrinks
+ synthesis.cz by 4-7%)
+
Version 6.3 - 25 June 2012, by Thierry Vignaud
- actually compress xml files with '--text' flag passed to lzma (shrinks
diff --git a/genhdlist2 b/genhdlist2
index 592eb51..b6a0cd0 100644
--- a/genhdlist2
+++ b/genhdlist2
@@ -16,7 +16,7 @@ sub usage () {
sub main() {
my %options = (
- synthesis_filter => '.cz:xz -5',
+ synthesis_filter => '.cz:xz -5 --text',
xml_info => 'auto',
xml_info_filter => '.lzma:lzma -5 --text',
versioned => 'auto'