diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-29 12:46:56 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-29 12:46:56 +0200 |
| commit | aa4dcf296521ebe5be4aee5ee29aa678b8325c46 (patch) | |
| tree | 10bea5771a1364f4c1df3cde817ffa8f1871505d /.gitlab-ci.yml | |
| parent | ac16e9fd0fde714464fbef4719e1a341208d5a93 (diff) | |
| download | compcert-kvx-aa4dcf296521ebe5be4aee5ee29aa678b8325c46.tar.gz compcert-kvx-aa4dcf296521ebe5be4aee5ee29aa678b8325c46.zip | |
fix typo in hf
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 eaa313f1..79a32b25 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -81,7 +81,7 @@ build_arm: - ./config_arm.sh - make -j "$NJOBS" - make -C test CCOMPOPTS=-static SIMU='qemu-arm' EXECUTE='qemu-arm' all test - - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='arm-linux-gnueabihf-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32 + - ulimit -s65536 && make -C test/monniaux/yarpgen TARGET_CC='arm-linux-gnueabi-gcc' EXECUTE='qemu-arm' CCOMPOPTS='-static' TARGET_CFLAGS='-static' BITS=32 rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |