diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 18:30:16 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 18:30:16 +0100 |
commit | 4799ad6121055c7a95c5a9c3c76d15706abafb6d (patch) | |
tree | e0c74e0c6e261335a7e89a2f611426b64db5a2bf /.gitlab-ci.yml | |
parent | 4583f92b71edf48b47fadba06e60137870ffd003 (diff) | |
download | compcert-kvx-4799ad6121055c7a95c5a9c3c76d15706abafb6d.tar.gz compcert-kvx-4799ad6121055c7a95c5a9c3c76d15706abafb6d.zip |
wrong line
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 1623d1ba..aa215d38 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -161,6 +161,7 @@ build_k1c: script: - ./config_k1c.sh -no-runtime-lib - make -j "$NJOBS" + - cd test && make CCOMPOPTS=-static all rules: - if: '$CI_COMMIT_BRANCH == "mppa-work"' when: always @@ -169,4 +170,3 @@ build_k1c: - if: '$CI_COMMIT_BRANCH == "master"' when: always - when: manual - - cd test && make CCOMPOPTS=-static all |