diff options
author | Emmanuele Bassi <ebassi@gnome.org> | 2019-07-16 16:18:40 +0100 |
---|---|---|
committer | Ray Strode <halfline@gmail.com> | 2020-07-08 19:20:46 +0000 |
commit | f76485a56083ddd99dc7ac49a141c9305b2d2519 (patch) | |
tree | baaca6d2a79324bd50e15839f76af3d0edb236d1 /.gitlab-ci.yml | |
parent | 9b485f6655eee52335d59aa1bc2795f869411715 (diff) |
ci: Add a `distcheck` step
We want to ensure that the CI is "release ready".
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 31d7bd39..6f1e1a7c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,8 +5,9 @@ stages: script: - NOCONFIGURE=1 ./autogen.sh - mkdir _build && cd _build - - ../configure --prefix /usr --disable-documentation --disable-dependency-tracking + - ../configure --prefix /usr - make + - make distcheck fedora-x86_64: stage: build |