diff options
| author |  Tom G. Christensen <tgc@statsbiblioteket.dk> | 2015-01-30 10:52:34 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2015-02-03 18:30:24 -0800 |
| commit | 3af67924e03ddb29a2b698266a9f27ef30cd663b (patch) | |
| tree | 33fe6180b0078d070b24bc353718d92537bebca9 /varint.h | |
| parent | Git 2.3.0-rc2 (diff) | |
| download | tgif-3af67924e03ddb29a2b698266a9f27ef30cd663b.tar.xz | |
Makefile: handle broken curl version number in version check
curl 7.11.0 through 7.12.2 when built from their official release
archives will present a 5 digit version number instead of the documented
6 digits which breaks the version check in the Makefile.
Correct these broken version numbers on the fly when extracting them to
ensure the comparison works correctly.
[jc: shortened the new sed scripts a bit]
Signed-off-by: Tom G. Christensen <tgc@statsbiblioteket.dk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'varint.h')
0 files changed, 0 insertions, 0 deletions