diff options
author | Ralph Giles <giles@thaumas.net> | 2020-07-16 21:31:49 +0300 |
---|---|---|
committer | Ralph Giles <giles@thaumas.net> | 2020-07-16 22:00:08 +0300 |
commit | a68d9349a605f62dae81f8fb81c0e10254aa222e (patch) | |
tree | 92422eddafa941eabfcc4931e4c0be188ac18fc5 | |
parent | a10be0f94c7dcc0b3162143f4ac50bcb7e10d8c7 (diff) |
gitlab-ci: Add a make check step.
Invoke `make check` at the end of the default build, since we
don't do `make distcheck` for all the jobs. At the moment this
does nothing, but it should give better coverage if any test
harnesses are hooked up to the target.
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8536156..d010c84 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -13,6 +13,7 @@ default: - ./autogen.sh - ./configure ${CONFIG_FLAGS} - make + - make check autoconf: extends: .autoconf |