Skip to content
Success

Changes

Summary

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

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