diff options
Diffstat (limited to 'jobs/gerrit-verifications.yml')
-rw-r--r-- | jobs/gerrit-verifications.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/jobs/gerrit-verifications.yml b/jobs/gerrit-verifications.yml index d17934d..20eceef 100644 --- a/jobs/gerrit-verifications.yml +++ b/jobs/gerrit-verifications.yml @@ -81,6 +81,7 @@ -e MGCP="$MGCP" \ -e PATH="$PATH:/build_bin" \ -e OSMOPY_DEBUG_TCP_SOCKETS="1" \ + -e WITH_MANUALS="1" \ -w /build -i -u build \ -v "$PWD:/build" \ -v "$HOME/bin:/build_bin" \ @@ -247,7 +248,8 @@ combination_filter: > (INSTR == "--with-sse" && WITH_MANUALS == "1") - - osmocom-bb + - osmocom-bb: + cmd: WITH_MANUALS=1 ./contrib/jenkins.sh - osmo-tetra - osmo-sysmon - osmo-remsim |