Skip to content
Snippets Groups Projects
Commit 172eacd6 authored by Thomas Guillem's avatar Thomas Guillem Committed by Hugo Beauzée-Luyssen
Browse files

gitlab-ci: run make dist on debian target

cf. !68
parent 800482fb
No related branches found
No related tags found
1 merge request!69gitlab-ci: run make dist on debian target
Pipeline #93032 passed with stage
in 34 minutes and 29 seconds
......@@ -247,6 +247,10 @@ debian:
if [ "${CI_JOB_NAME:0:8}" = "nightly-" ]; then
export XZ_OPT="-T 0"
make -j$NCPU distcheck
else
# Don't run distcheck but dist as it is already tested via
# make_check_wrapper.sh
make -j$NCPU dist
fi
variables: *variables-debian
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment