tools/ci/inria/step-by-step-build/script: fixes

master
Sébastien Hinderer 2020-08-11 16:57:34 +02:00
parent 541ade530f
commit 5acc76eb07
1 changed files with 1 additions and 2 deletions

View File

@ -14,7 +14,7 @@
#* *
#**************************************************************************
jobs=8
jobs=-j8
instdir="$HOME/ocaml-tmp-install-$$"
./configure --prefix "$instdir" --disable-dependency-generation
make $jobs world
@ -23,4 +23,3 @@ make $jobs opt.opt
make install
rm -rf "$instdir"
# It's a build system test only, so we don't bother testing the compiler
'''