Pau Espin Pedrol has posted comments on this change. ( https://gerrit.osmocom.org/11972 )
Change subject: contrib/jenkins.sh: build and publish manuals ...................................................................... Patch Set 4: (1 comment) https://gerrit.osmocom.org/#/c/11972/4/contrib/jenkins.sh File contrib/jenkins.sh: https://gerrit.osmocom.org/#/c/11972/4/contrib/jenkins.sh@54 PS4, Line 54: DISTCHECK_CONFIGURE_FLAGS="--enable-vty-tests --enable-external-tests --enable-werror" \ enable manuals is missing here? or we don't care about building manuals through distcheck? -- To view, visit https://gerrit.osmocom.org/11972 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-bsc Gerrit-Branch: master Gerrit-MessageType: comment Gerrit-Change-Id: Ief6ce94013612a968183e82abef421f116ed37c3 Gerrit-Change-Number: 11972 Gerrit-PatchSet: 4 Gerrit-Owner: osmith <[email protected]> Gerrit-Reviewer: Jenkins Builder (1000002) Gerrit-CC: Pau Espin Pedrol <[email protected]> Gerrit-Comment-Date: Tue, 04 Dec 2018 11:19:24 +0000 Gerrit-HasComments: Yes Gerrit-HasLabels: No
