diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-15 16:27:51 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-15 16:27:51 +0200 |
commit | 924cc3bcafae3a8f64985faea0d95bb624c7033a (patch) | |
tree | 0d397f647a695bb1ad94e19324f8e563df8efef7 /.gitlab-ci.yml | |
parent | 3ceff391e0be39cd7a3d5d861fb1f32653579bab (diff) | |
download | compcert-kvx-924cc3bcafae3a8f64985faea0d95bb624c7033a.tar.gz compcert-kvx-924cc3bcafae3a8f64985faea0d95bb624c7033a.zip |
larger stack size for yarpgen 89
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3b1a86fd..10008017 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -237,7 +237,7 @@ build_kvx: - source /opt/kalray/accesscore/kalray.sh && ./config_kvx.sh - source /opt/kalray/accesscore/kalray.sh && make -j "$NJOBS" - source /opt/kalray/accesscore/kalray.sh && make -C test CCOMPOPTS=-static SIMU='kvx-cluster -- ' EXECUTE='kvx-cluster -- ' all test - - source /opt/kalray/accesscore/kalray.sh && make -C test/monniaux/yarpgen TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static' + - source /opt/kalray/accesscore/kalray.sh && ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='kvx-cos-gcc' EXECUTE='kvx-cluster -- ' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - if: '$CI_COMMIT_BRANCH == "kvx-work"' when: always |