Skip to content
[Jenkins]Jenkins
log insign up
Success

Changes

Summary

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

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