Re: [PATCH] Makefile: Handle broken curl version number in version check

From: Andreas Schwab <schwab@linux-m68k.org>
Date: Jan 30, 2015, 14:50 UTC
Message-ID: <87wq44gw4y.fsf@igel.home>
In-Reply-To: <1422611554-15393-1-git-send-email-tgc@statsbiblioteket.dk>

"Tom G. Christensen" <tgc@statsbiblioteket.dk> writes:

Show 10 quoted lines

> diff --git a/Makefile b/Makefile
> index c44eb3a..69a2ce3 100644
> --- a/Makefile
> +++ b/Makefile
> @@ -1035,13 +1035,13 @@ else
>  	REMOTE_CURL_NAMES = $(REMOTE_CURL_PRIMARY) $(REMOTE_CURL_ALIASES)
>  	PROGRAM_OBJS += http-fetch.o
>  	PROGRAMS += $(REMOTE_CURL_NAMES)
> -	curl_check := $(shell (echo 070908; curl-config --vernum) 2>/dev/null | sort -r | sed -ne 2p)
> +	curl_check := $(shell (echo 070908; curl-config --vernum | sed -e '/^70[B-C]/ s/^7/07/') 2>/dev/null | sort -r | sed -ne 2p)

How about 's/^.....$/0&/' ?

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."