[GitHub] jena pull request #303: JENA-1408: Quicker -Pdev; simplify profiles.

[afs <gi...@git.apache.org>]

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 <an...@apache.org>
Date:   2017-11-04T12:16:44Z

    JENA-1408: Merge -Pbootstrap in -Pdev; no javadoc in -Pdev

----


---

[GitHub] jena issue #303: JENA-1408: Quicker -Pdev; simplify profiles.

[afs <gi...@git.apache.org>]

Github user afs commented on the issue:

    https://github.com/apache/jena/pull/303
  
    Sorry - missed that copying over the test setup. Now done.


---

[GitHub] jena issue #303: JENA-1408: Quicker -Pdev; simplify profiles.

[ajs6f <gi...@git.apache.org>]

Github user ajs6f commented on the issue:

    https://github.com/apache/jena/pull/303
  
    What's here looks good, but I don't see where `jena-iri` and `jena-shaded-guava` are being added in?


---

[GitHub] jena pull request #303: JENA-1408: Quicker -Pdev; simplify profiles.

[asfgit <gi...@git.apache.org>]

Github user asfgit closed the pull request at:

    https://github.com/apache/jena/pull/303


---