diff options
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 ba61c71b2b..8afd090a58 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -96,7 +96,7 @@ variables: - if [ "$CHUTNEY" = yes ]; then git clone --depth 1 https://git.torproject.org/chutney.git ; export CHUTNEY_PATH="$(pwd)/chutney"; fi - if [ "$TRACING" = yes ]; then apt install liblttng-ust-dev; fi -# Minmal check on debian: just make, make check. +# Minimal check on debian: just make, make check. # debian-minimal: image: debian:stable @@ -170,6 +170,7 @@ debian-tracing: variables: TRACING: "yes" CHECK: "no" + DISTCHECK: "yes" script: - ./scripts/ci/ci-driver.sh # Ensure that we only run tracing when it's implemented. |