diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 16:29:34 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 16:29:34 +0100 |
commit | 5e84a1aea751e8c4c46a2899a2901bb59a1f049b (patch) | |
tree | 2bf1a4fd8ba97b1e079a181e1fab27233c27d611 /.gitlab-ci.yml | |
parent | 69247e1024f99f628f9b00eb9ecc30ef30e51d3f (diff) | |
download | compcert-kvx-5e84a1aea751e8c4c46a2899a2901bb59a1f049b.tar.gz compcert-kvx-5e84a1aea751e8c4c46a2899a2901bb59a1f049b.zip |
run yarpgen correctly on arm
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 119fa44e..bf83a026 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -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-gnueabihf-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' BITS=32 rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |