tree a56b6b18a1d8920b66f5c055ae50de98a1febe39
parent aec91ab3477529e386fc548a2fcb55ff405bd949
author Pau Espin Pedrol <pespin@sysmocom.de> 1519154544 +0100
committer Pau Espin Pedrol <pespin@sysmocom.de> 1519154544 +0100

contrib: jenkins.sh: Disable doxygen in libosmocore build

Change-Id: I12d995c0c993483ed940fc173904d6e686fbe0ab