GitHub user afs opened a pull request:
https://github.com/apache/jena/pull/303
JENA-1408: Quicker -Pdev; simplify profiles.
This simplifies and speeds up the quick development profile.
* Don't skip jena-iri and jena-shared-guava in -Pdev. Skipping does not
always seem to work when there are new Jenkins built snapshots as well. The
time difference is small.
* Remove -Pbootstrap because it is now the same as -Pdev
* Don't build javadoc when running -Pdev
(see the JIRA for some timings)
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/afs/jena no-javadoc-dev
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/jena/pull/303.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #303
----
commit e9a4554c8858b52154a7cfac0b45950b2edcfb72
Author: Andy Seaborne <[email protected]>
Date: 2017-11-04T12:16:44Z
JENA-1408: Merge -Pbootstrap in -Pdev; no javadoc in -Pdev
----
---
