Skip to content
[Jenkins]Jenkins
log insign up
Success

Changes

Summary

  1. jenkins.sh: Use --disable-doxygen configure param (details)
Commit 09142e1c27a2c84540947ca9dd6957bb9d2e0262 by Pau Espin Pedrol
jenkins.sh: Use --disable-doxygen configure param

Change-Id: I0c73c5e5c94bb712975f8ae0c6cff4743e148210
The file was modifiedcontrib/jenkins.sh