Harald Welte has submitted this change and it was merged. (
https://gerrit.osmocom.org/9698 )
Change subject: jenkins.sh: Remove non-existent configure options
..
jenkins.sh: Remove non-existent configure options
Change-Id:
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
Vadim Yanitskiy 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+1
(1 comment)
Pau Espin Pedrol has uploaded this change for review. (
https://gerrit.osmocom.org/9698
Change subject: jenkins.sh: Remove non-existent configure options
..
jenkins.sh: Remove non-existent configure options
Change-Id: