Merge pull request #3096 from tmjbios/detect_curl

[bugfix] Detect missing `curl` in `bootstrap.sh`
reframe-hpc · Jan 20, 2024 · 98a0a46 · 98a0a46
2 parents e118231 + 4cf84a6
commit 98a0a46
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -105,6 +105,11 @@ else
     get_pip_url="https://bootstrap.pypa.io/pip/3.6/get-pip.py"
 fi
 
+if ! type "curl" > /dev/null 2>&1; then
+    echo -e "could not find \`curl': please install curl and try again"
+    exit 1
+fi
+
 INFO "curl -s $get_pip_url | $python"
 curl -s $get_pip_url | $python