Skip to content
Success

Changes

Summary

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

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