wok view linux/stuff/linux-diff.u @ rev 20334

Do not use efi shell (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Jun 02 16:13:06 2018 +0200 (18 months ago)
parents 83faf94fc7c8
children
line source
1 --- linux-3.16.53/scripts/Makefile.lib
2 +++ linux-3.16.53/scripts/Makefile.lib
3 @@ -238,7 +238,8 @@
4 # ---------------------------------------------------------------------------
6 quiet_cmd_gzip = GZIP $@
7 -cmd_gzip = (cat $(filter-out FORCE,$^) | gzip -n -f -9 > $@) || \
8 +cmd_gzip = (cat $(filter-out FORCE,$^) | gzip -n -f -9 > $@) && \
9 + ( which advdef > /dev/null && advdef -z $@ ; true ) || \
10 (rm -f $@ ; false)
12 # DTC
13 @@ -316,7 +317,7 @@
15 quiet_cmd_lzma = LZMA $@
16 cmd_lzma = (cat $(filter-out FORCE,$^) | \
17 - lzma -9 && $(call size_append, $(filter-out FORCE,$^))) > $@ || \
18 + xz -z -e --format=lzma --lzma1=mode=normal --stdout && $(call size_append, $(filter-out FORCE,$^))) > $@ || \
19 (rm -f $@ ; false)
21 quiet_cmd_lzo = LZO $@