Guillem Jover, le mar. 06 nov. 2018 02:47:53 +0100, a ecrit: > * Makefile (dist): Change bz2 to xz. > (%.xz): Add target. > (%.bz2): Remove target.
Applied, thanks! > --- > Makefile | 6 +++--- > 1 file changed, 3 insertions(+), 3 deletions(-) > > diff --git a/Makefile b/Makefile > index c0aa59a0e..6288a1573 100644 > --- a/Makefile > +++ b/Makefile > @@ -83,7 +83,7 @@ dist-version := $(shell cd $(top_srcdir)/ && > $(git_describe)) > > .PHONY: dist > ifdef configured > -dist: $(foreach Z,bz2 gz,$(dist-version).tar.$(Z)) > +dist: $(foreach Z,xz gz,$(dist-version).tar.$(Z)) > else > dist: > @echo >&2 'Cannot build a distribution from an unconfigured tree.' > @@ -238,8 +238,8 @@ install-headers: $(addsuffix > -install-headers,$(lib-subdirs) \ > TAGS: $(addsuffix -TAGS,$(working-prog-subdirs) $(lib-subdirs)) > etags -o $@ $(patsubst %-TAGS,-i %/TAGS,$^) > > -%.bz2: % > - bzip2 -9 < $< > $@ > +%.xz: % > + xz < $< > $@ > > %.gz: % > gzip -9n < $< > $@ > -- > 2.19.1.1182.g4ecb1133ce > > -- Samuel <b> j'en ai parlé à xavier, il n'est pas interdit qu'il le change un jour -+- #sos - a le bras long vers le chameau -+-
