Also test -no-flat-float-array on Inria's CI

The test is done by the other-configs job
master
Sébastien Hinderer 2017-12-13 15:15:55 +01:00
parent 7ab1656e0f
commit b41a4c3090
1 changed files with 1 additions and 0 deletions

View File

@ -21,4 +21,5 @@ 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