From 7e07a5043b53076140a7ac3fe4c71daad5fa7ea7 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Mon, 7 Nov 2011 21:40:28 +0100
Subject: scripts: use wget, not curl

It seems wget is more popular than curl.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 17703715..8a383c37 100755
--- a/configure
+++ b/configure
@@ -496,7 +496,7 @@ has_or_abort prog=libtoolize
              ver='\(GNU libtool.*\) (2[[:digit:]]*\.|1\.6[[:digit:]]*\.|1\.5\.[2-9][[:digit:]]+)'   \
              err="'libtoolize' 1.5.26 or above was not found"
 has_or_abort prog=stat
-has_or_abort prog="curl"
+has_or_abort prog=wget
 has_or_abort prog=patch
 has_or_abort prog=tar
 has_or_abort prog=gzip
-- 
cgit v1.2.3