Merge branch 'bootstrap-gnutls-fix' into 'master'

Actually exit 1 the bootstrap script on a failure See merge request !119

Merge branch 'bootstrap-gnutls-fix' into 'master'
577fcc3a · Ondřej Surý · 149a7d3d · c1d62029 · 577fcc3a
Commit 577fcc3a authored 8 years ago by Ondřej Surý
--- a/scripts/bootstrap-depends.sh
+++ b/scripts/bootstrap-depends.sh
@@ -63,6 +63,7 @@ echo "log:   ${LOG}" | tee ${LOG}
 function on_failure {
    cat ${LOG}
    rm ${PREFIX}/.revision
+    exit 1
 }
 trap on_failure ERR