From 6b08987f72a7c473cece8fcf95d2970624bc44d0 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Tue, 13 Feb 2024 22:11:32 -0600
Subject: [PATCH] build.sh: reenable curl if we need it

---
 build.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/build.sh b/build.sh
index f58e5e246d..f8a3c5090f 100755
--- a/build.sh
+++ b/build.sh
@@ -116,10 +116,10 @@ set_downloader() {
         DOWNLOADER_NAME=wget
         return
     fi
-    # if test_program_installed curl; then
-    #     DOWNLOADER_NAME=curl
-    #     return
-    # fi
+    if test_program_installed curl; then
+        DOWNLOADER_NAME=curl
+        return
+    fi
     $ECHO "error: wget or curl required"
     exit_script 11
 }
-- 
2.34.1