1 files changed, 6 insertions, 2 deletions
diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh
index a1620d9eff..2e282d450e 100755
--- a/Ports/.port_include.sh
+++ b/Ports/.port_include.sh
@@ -70,7 +70,7 @@ fetch() {
         echo "URL: ${url}"
 
         # FIXME: Serenity's curl port does not support https, even with openssl installed.
-        if ! curl https://example.com -so /dev/null; then
+        if which curl && ! curl https://example.com -so /dev/null; then
             url=$(echo "$url" | sed "s/^https:\/\//http:\/\//")
         fi
 
@@ -79,7 +79,11 @@ fetch() {
         if [ -f "$filename" ]; then
             echo "$filename already exists"
         else
-            run_nocd curl ${curlopts:-} "$url" -L -o "$filename"
+            if which curl; then
+                run_nocd curl ${curlopts:-} "$url" -L -o "$filename"
+            else
+                run_nocd pro "$url" > "$filename"
+            fi
         fi
 
         # check md5sum if given