wok-current rev 5271
linux: increase gzip compression
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Thu Apr 15 18:22:14 2010 +0200 (2010-04-15) |
parents | c1037eac2cf4 |
children | 48b8bbe9b689 |
files | linux/stuff/linux-diff-2.6.33.2.u |
line diff
1.1 --- a/linux/stuff/linux-diff-2.6.33.2.u Thu Apr 15 06:00:28 2010 -0400 1.2 +++ b/linux/stuff/linux-diff-2.6.33.2.u Thu Apr 15 18:22:14 2010 +0200 1.3 @@ -19,7 +19,17 @@ 1.4 1.5 --- linux-2.6.33.1/scripts/Makefile.lib 1.6 +++ linux-2.6.33.1/scripts/Makefile.lib 1.7 -@@ -238,7 +238,7 @@ 1.8 +@@ -204,7 +204,8 @@ 1.9 + # --------------------------------------------------------------------------- 1.10 + 1.11 + quiet_cmd_gzip = GZIP $@ 1.12 +-cmd_gzip = (cat $(filter-out FORCE,$^) | gzip -f -9 > $@) || \ 1.13 ++cmd_gzip = (cat $(filter-out FORCE,$^) | gzip -f -9 > $@) && \ 1.14 ++ ( which advdef > /dev/null && advdef -z $@ ; true ) || \ 1.15 + (rm -f $@ ; false) 1.16 + 1.17 + 1.18 +@@ -238,7 +239,7 @@ 1.19 1.20 quiet_cmd_lzma = LZMA $@ 1.21 cmd_lzma = (cat $(filter-out FORCE,$^) | \