[
https://issues.apache.org/jira/browse/SPARK-20738?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16010112#comment-16010112
]
Prashant Sharma edited comment on SPARK-20738 at 5/15/17 7:45 AM:
------------------------------------------------------------------
Yes, we would like to catch these failures. I am not at all against that. Not
sure how frequent is considered frequent enough !
Noticed it two times, first time - I have sent a fix but next time onward I
have got it turned off in my local build. This patch is also beneficial, for
anyone wanting to turn off - building of docs(which is time consuming) during
publish.
was (Author: prashant_):
Yes, we would like to catch these failures. I am not at all against that. Not
sure how frequent is considered frequent enough !
Noticed it two times, first time - I have sent a fix but next time onward I
have got it turned off in my local build. This patch is also beneficial, for
anyone wanting to turn of building of docs(which is time consuming) during
publish.
> Hide building of docs in sbt behind an option.
> ----------------------------------------------
>
> Key: SPARK-20738
> URL: https://issues.apache.org/jira/browse/SPARK-20738
> Project: Spark
> Issue Type: Improvement
> Components: Build
> Affects Versions: 2.2.0
> Reporter: Prashant Sharma
> Priority: Minor
> Labels: sbt
>
> sbt publish-local tries to build the docs along with other artifacts and
> as the codebase is being updated with no build checks for sbt docs build. It
> appears to be difficult to upkeep the correct building of docs with sbt.
>
> An alternative is, we can hide building of docs behind an option
> `-Dbuild.docs=false`.
>
> This is also useful, if someone uses sbt publish and does not need the
> building of docs as it is generally time consuming.
> The default behavior is unchanged. If the option is not set, the docs are
> built by default.
--
This message was sent by Atlassian JIRA
(v6.3.15#6346)
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
