diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 18:06:16 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 18:06:16 +0100 |
commit | bd432c88df63a21dfd3cfbf038f25781fa8b0ee5 (patch) | |
tree | 64ef4833e04bf2e75b814d742fccb404d55e12f3 /.gitlab-ci.yml | |
parent | 2bf8878a4b424e0481e9931c9047f6450e7ba0fd (diff) | |
download | compcert-kvx-bd432c88df63a21dfd3cfbf038f25781fa8b0ee5.tar.gz compcert-kvx-bd432c88df63a21dfd3cfbf038f25781fa8b0ee5.zip |
use gcc -m32 on ia32
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 2294d090..fd5dffe5 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -35,7 +35,7 @@ build_ia32: - ./config_ia32.sh - make -j "$NJOBS" - make -C test all test - - ulimit -s65536 && make -C test/monniaux/yarpgen BITS=32 + - ulimit -s65536 && make -C test/monniaux/yarpgen BITS=32 TARGET_CC='gcc -m32' rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |