Add parallelism and "runtime cleanup" configuration

* Test memory-cleanup-at-exit runtime mode (OCAMLRUNPARAM="c=1")
* Run with -j8 because we have plenty of cores on the test machine
master
Xavier Leroy 2018-05-23 20:40:06 +02:00
parent cea41081dc
commit 4adae1b9bd
1 changed files with 5 additions and 4 deletions

View File

@ -19,7 +19,8 @@
# Stop on error
set -e
./tools/ci-build -conf -no-native-compiler -no-native
./tools/ci-build -conf -no-naked-pointers
./tools/ci-build -conf -no-flat-float-array
./tools/ci-build -conf -flambda -conf -no-naked-pointers
./tools/ci-build -j8 -conf -no-native-compiler -no-native
./tools/ci-build -j8 -conf -no-naked-pointers
./tools/ci-build -j8 -conf -no-flat-float-array
./tools/ci-build -j8 -conf -flambda -conf -no-naked-pointers
OCAMLRUNPARAM="c=1" ./tools/ci-build -j8