changeset 4541:23a905c6f5d3

adapt to wget's new --compression option
author John W. Eaton <jwe@octave.org>
date Tue, 21 Nov 2017 22:24:47 -0500
parents 2a8b5cf2085c
children 4bb667a87c7d
files Makefile.in
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile.in	Tue Nov 21 16:45:20 2017 -0500
+++ b/Makefile.in	Tue Nov 21 22:24:47 2017 -0500
@@ -206,7 +206,11 @@
 PATCH      := $(shell gpatch --help >/dev/null 2>&1 && echo g)patch
 SED        := $(shell gsed --help >/dev/null 2>&1 && echo g)sed
 SORT       := $(shell gsort --help >/dev/null 2>&1 && echo g)sort
-WGET       := wget --no-check-certificate \
+## The --compression option for wget is new in 1.19.2 and now without
+## using --compression=none, wget seems to uncompress .gz archives
+## automatically?!?
+WGET_COMP  := $(shell wget --compression=none --help >/dev/null && echo x--compression=none | $(SED) 's/x//')
+WGET       := wget $(WGET_COMP) --no-check-certificate \
                    --user-agent=$(shell wget --version | \
                    $(SED) -n 's,GNU \(Wget\) \([0-9.]*\).*,\1/\2,p')
 # The MSYS GNU tar does not support long uid/gid, leading to unpacking