tree 9048cb22e754030b34b128187a677da5e75c1a1a
parent f446367a631cafd597bffc2cd39e9ba7718055c6
author Pau Espin Pedrol <pespin@sysmocom.de> 1519154473 +0100
committer Pau Espin Pedrol <pespin@sysmocom.de> 1519154473 +0100

contrib: jenkins.sh: Disable doxygen in libosmocore build

Change-Id: I52fc3931ef072075561858bb7173f58a8503e499