[XS] Change in osmo-gbproxy[master]: jenkins.sh: Use --disable-doxygen configure param

Attention is currently required from: pespin. laforge has posted comments on this change by pespin. ( https://gerrit.osmocom.org/c/osmo-gbproxy/+/39104?usp=email ) Change subject: jenkins.sh: Use --disable-doxygen configure param ...................................................................... Patch Set 1: Code-Review+2 -- To view, visit https://gerrit.osmocom.org/c/osmo-gbproxy/+/39104?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email Gerrit-MessageType: comment Gerrit-Project: osmo-gbproxy Gerrit-Branch: master Gerrit-Change-Id: If4e1730d795274733b829286b2f0a4494d77a8a3 Gerrit-Change-Number: 39104 Gerrit-PatchSet: 1 Gerrit-Owner: pespin <pespin(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: laforge <laforge(a)osmocom.org> Gerrit-Attention: pespin <pespin(a)sysmocom.de> Gerrit-Comment-Date: Tue, 10 Dec 2024 23:12:18 +0000 Gerrit-HasComments: No Gerrit-Has-Labels: Yes