Skip to content
[Jenkins]Jenkins
log insign up
Success

Changes

Summary

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

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