From a7e96af37770c60dfca1ebda832bc414324e8067 Mon Sep 17 00:00:00 2001 From: Seo Sanghyeon Date: Fri, 3 Jun 2016 20:53:46 +0900 Subject: [PATCH] Unsupport wget --- configure | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/configure b/configure index b7053c5c54f56..a36362e0ada71 100755 --- a/configure +++ b/configure @@ -133,12 +133,13 @@ probe() { } probe_need() { - local V=$1 probe $* + local V=$1 + shift eval VV=\$$V if [ -z "$VV" ] then - err "needed, but unable to find any of: $*" + err "$V needed, but unable to find any of: $*" fi } @@ -725,7 +726,7 @@ if [ -n "$CFG_ENABLE_ORBIT" ]; then putvar CFG_ENABLE_ORBIT; fi step_msg "looking for build programs" -probe_need CFG_CURLORWGET curl wget +probe_need CFG_CURL curl if [ -z "$CFG_PYTHON_PROVIDED" ]; then probe_need CFG_PYTHON python2.7 python2 python fi