diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:24:54 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-20 19:24:54 +0100 |
commit | aa926dbe4652b10ecc77347c99300bc6e00b5be4 (patch) | |
tree | 56671b9ee2ddd59f5936f8048cf9471f234549b9 /.gitlab-ci.yml | |
parent | 404cf8865a61dc5c03d4255c42d47462666ace23 (diff) | |
download | compcert-kvx-aa926dbe4652b10ecc77347c99300bc6e00b5be4.tar.gz compcert-kvx-aa926dbe4652b10ecc77347c99300bc6e00b5be4.zip |
fix syntax
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 5e76b79f..b6d78ef6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -7,5 +7,5 @@ build_x86_64: before_script: - opam install -y menhir script: - ./config_x86_64.sh - make -j "$NJOBS" + - ./config_x86_64.sh + - make -j "$NJOBS" |