diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 13:56:19 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 13:56:19 +0100 |
| commit | d0b8ed2ab2979bfef689c5c801a73434b0abab51 (patch) | |
| tree | 6a608b37fe32e03648f6c9d594a7886f1e0c4c89 /.gitlab-ci.yml | |
| parent | 520ac43fdfaa6ecef14fc93b68034e03112e12fd (diff) | |
| download | compcert-kvx-d0b8ed2ab2979bfef689c5c801a73434b0abab51.tar.gz compcert-kvx-d0b8ed2ab2979bfef689c5c801a73434b0abab51.zip | |
more fixes for CI
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bf7361f8..119fa44e 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 - - make -C test/monniaux/yarpgen +# - make -C test/monniaux/yarpgen disabled due to -m32/-m64 issues rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always @@ -81,7 +81,7 @@ build_arm: - ./config_arm.sh - make -j "$NJOBS" - make -C test DIRS="c compression spass regression" CCOMPOPTS=-static SIMU='qemu-arm' EXECUTE='qemu-arm' all test - - make -C test/monniaux/yarpgen -k TARGET_CC='arm-linux-gnu-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' + - make -C test/monniaux/yarpgen -k TARGET_CC='arm-linux-gnueabihf-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |