From 66048cb795f8a20e042a161a67a1b408e07086f9 Mon Sep 17 00:00:00 2001 From: Klaus Reimer Date: Wed, 1 May 2013 13:52:17 +0200 Subject: [PATCH] Use wget when curl is not found --- src/main/c/build/common.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/main/c/build/common.sh b/src/main/c/build/common.sh index 2c5904d..d2181aa 100644 --- a/src/main/c/build/common.sh +++ b/src/main/c/build/common.sh @@ -31,7 +31,12 @@ build() mkdir -p "$DOWNLOADS" if [ ! -e "$DOWNLOADS/$LIBUSB_ARCHIVE" ] then - curl -L -o "$DOWNLOADS/$LIBUSB_ARCHIVE" "$LIBUSB_URL" + if type curl >/dev/null 2>&1 + then + curl -L -o "$DOWNLOADS/$LIBUSB_ARCHIVE" "$LIBUSB_URL" + else + wget -O "$DOWNLOADS/$LIBUSB_ARCHIVE" "$LIBUSB_URL" + fi fi # Unpack and compile libusb