Harald Welte has posted comments on this change. ( https://gerrit.osmocom.org/9698 )
Change subject: jenkins.sh: Remove non-existent configure options ...................................................................... Patch Set 1: Code-Review+2 -- To view, visit https://gerrit.osmocom.org/9698 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-sgsn Gerrit-Branch: master Gerrit-MessageType: comment Gerrit-Change-Id: I331a187ae19125afa076e0a3d629ba7160d4b416 Gerrit-Change-Number: 9698 Gerrit-PatchSet: 1 Gerrit-Owner: Pau Espin Pedrol <pes...@sysmocom.de> Gerrit-Reviewer: Harald Welte <lafo...@gnumonks.org> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: Vadim Yanitskiy <axilira...@gmail.com> Gerrit-Comment-Date: Fri, 22 Jun 2018 07:21:10 +0000 Gerrit-HasComments: No Gerrit-HasLabels: Yes