diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:11:14 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:11:14 +0100 |
commit | 7eb27df1b3f682bef18e58783f4ed866183d4303 (patch) | |
tree | 7044466a6ee747d1a32d2c8e9c8a9e600e918508 | |
parent | 99f90f43d7942c8e9c2667c448a7bc876f5c72cc (diff) | |
download | compcert-kvx-7eb27df1b3f682bef18e58783f4ed866183d4303.tar.gz compcert-kvx-7eb27df1b3f682bef18e58783f4ed866183d4303.zip |
fixes
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0ac47449..6aca7a8c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -143,7 +143,6 @@ build_rv32: script: - ./config_rv32.sh -no-runtime-lib - make -j "$NJOBS" - - cd test && make CCOMPOPTS=-static SIMU='qemu-riscv32' EXECUTE='qemu-riscv32' all test rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always |