Inria CI fix

The step-by-step-build job should stop on errors
master
Sébastien Hinderer 2020-11-25 10:50:11 +01:00
parent a93a564301
commit 286a9397b8
1 changed files with 3 additions and 0 deletions

View File

@ -14,6 +14,9 @@
#* *
#**************************************************************************
# Be verbose and stop on errors
set -ex
jobs=-j8
instdir="$HOME/ocaml-tmp-install-$$"
./configure --prefix "$instdir" --disable-dependency-generation