diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-07-15 10:24:21 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-07-15 10:24:21 +0200 |
| commit | 7cb27fe4af459ff854c13ee33ec535f3f5f3e5a2 (patch) | |
| tree | fb6979bb036733b5e14b51194d44a63fa3e25886 /tools | |
| parent | a8c2d6148ebd5d811f29a53b66559c327dc14fbd (diff) | |
| download | ocaml-7cb27fe4af459ff854c13ee33ec535f3f5f3e5a2.tar.gz | |
Jenkins CI other-configs: also test the "with frame pointers" configuration
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/inria/other-configs/script | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci/inria/other-configs/script b/tools/ci/inria/other-configs/script index 97a24559a3..0ba82b4b79 100755 --- a/tools/ci/inria/other-configs/script +++ b/tools/ci/inria/other-configs/script @@ -39,6 +39,6 @@ ${main} -conf --disable-native-compiler \ -no-native ${main} -conf --disable-flat-float-array ${main} -conf --enable-flambda -${main} -conf --enable-reserved-header-bits=27 +${main} -conf --enable-frame-pointers --enable-reserved-header-bits=27 ${main} -with-bootstrap -conf --with-pic OCAMLRUNPARAM="c=1" ${main} |