Skip to content
[Jenkins]Jenkins
log insign up
Success

Changes

Summary

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

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