Hi!
On Tue, 2018-11-06 at 10:47:02 +0100, Thomas Schwinge wrote:
> On Tue, 6 Nov 2018 02:47:53 +0100, Guillem Jover wrote:
> > * Makefile (dist): Change bz2 to xz.
> > (%.xz): Add target.
> > (%.bz2): Remove target.
>
> Curious: why a) use "xz" instead of what we got before, b) move from
> "bz2"
Hi!
On Tue, 6 Nov 2018 02:47:53 +0100, Guillem Jover wrote:
> * Makefile (dist): Change bz2 to xz.
> (%.xz): Add target.
> (%.bz2): Remove target.
Curious: why a) use "xz" instead of what we got before, b) move from
"bz2" to "xz" instead of offering both (like we continue to do for "gz")?
GrĂ¼
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 c0aa59
* Makefile (dist): Change bz2 to xz.
(%.xz): Add target.
(%.bz2): Remove target.
---
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 $