Fail script if build fails

pull/1156/head
Piero Toffanin 2020-09-16 11:26:43 -04:00
rodzic 54eb38ba3e
commit 9b57a23e4d
1 zmienionych plików z 2 dodań i 0 usunięć

Wyświetl plik

@ -111,6 +111,8 @@ install() {
fi fi
fi fi
set -eo pipefail
echo "Compiling SuperBuild" echo "Compiling SuperBuild"
cd ${RUNPATH}/SuperBuild cd ${RUNPATH}/SuperBuild
mkdir -p build && cd build mkdir -p build && cd build