From 79f5316046a8be5b7bd22ab591c941382f2ede70 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Tom=C3=A1=C5=A1=20Golembiovsk=C3=BD?= <tgolembi@redhat.com>
Date: Tue, 5 Dec 2017 14:57:56 +0100
Subject: [PATCH] Makefile: add support for curl
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Support curl as an alternative to wget.

Signed-off-by: Tomáš Golembiovský <tgolembi@redhat.com>
---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 7a22647..c38dcb1 100644
--- a/Makefile
+++ b/Makefile
@@ -59,9 +59,11 @@ Makefile.tools:
 	fi
 	@if wget --help >/dev/null 2>&1; then \
 	    echo 'DOWNLOAD=wget -O -' >> $@-t; \
+	elif curl --help >/dev/null 2>&1; then \
+	    echo 'DOWNLOAD=curl -L' >> $@-t; \
 	else \
-	    echo -n "‘wget’ not installed or not working."; \
-	    echo "Install the ‘wget’ package."; \
+	    echo -n "‘wget’ nor ‘curl’ is installed and working."; \
+	    echo "Install the ‘wget’ or ‘curl’ package."; \
 	    exit 1; \
 	fi
 	@mv $@-t $@
-- 
1.8.3.1