From: Kyle J. McKay <mackyle@gmail.com>
Date: Fri, 30 Jan 2015 15:41:58 GMT
Subject: Re: [PATCH] Makefile: Handle broken curl version number in version check
Message-ID: <6D2AEDA6-C5EB-489D-9EC2-F2B7F075A0D1@gmail.com>
In-Reply-To: <87wq44gw4y.fsf@igel.home>

On Jan 30, 2015, at 06:50, Andreas Schwab wrote:

> "Tom G. Christensen" <tgc@statsbiblioteket.dk> writes:
>
>> 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&/' ?

Much nicer.  But that '$' will have to be escaped from make so it will  
need to be 's/^.....$$/0&/'