deps: Fail the process as soon as http_pull fails

2023-02-03 23:33:46 +00:00 · 2023-02-03 23:33:46 +00:00 · 2bfe70dd51
parent 60b1e67e91
commit 2bfe70dd51
1 changed files with 2 additions and 0 deletions
--- a/scripts/deps.sh
+++ b/scripts/deps.sh
@ -119,6 +119,7 @@ function pull_toolchain() {
    else
        echo ""
        error "Can't find the package."
+        exit 4
    fi
    _pop
 }
@ -225,6 +226,7 @@ function pull_bdwgc() {
    else
        echo ""
        error "Can't find the package."
+        exit 4
    fi
    _pop
 }