io.streams.tee: more tests

[factor.git] / build.sh

diff --git a/build.sh b/build.sh
index f58e5e246d15e2b057b6e6a2010e2fcda1cfeb00..f8a3c5090f7bf9cc53a7be59dd5f23b9e0c15735 100755 (executable)
--- 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
 }