On Jan 30, 2015, at 06:50, Andreas Schwab wrote:
"Tom G. Christensen" <t...@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&/'
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
