Do not skip full cmake configuration if any of USE_DOCS and USE_SCOREBOARD is enabled
#837
The logs for this run have expired and are no longer available.
Loading