[jbosstools-dev] FYI: recent changes to JBoss Tools parent pom: remove unused profile; set new defaults for jbosstools.test.jre.* variables

[Nick Boldt]

The above proposed change is now live in the 4.5.0.AM1-SNAPSHOT parent pom.

Thanks,

Nick

On Thu, May 4, 2017 at 9:06 AM, Nick Boldt <nboldt at redhat.com> wrote:
> I've got a couple minor changes queued or completed for the
> 4.5.0.AM1-SNAPSHOT parent pom.
>
> * remove the unused deploy-pr profile [DONE]
>
> * set jbosstools.test.jre.* = ${JAVA_HOME} (
> https://issues.jboss.org/browse/JBIDE-24380 ) [PROPOSED - any
> objections?]
>
> Thanks,
>
> --
> Nick Boldt
> Productization Lead :: JBoss Tools & Dev Studio
> IM: @nickboldt / @nboldt / http://nick.divbyzero.com
> TRIED. TESTED. TRUSTED. @redhatnews  Red Hat



-- 
Nick Boldt

Senior Software Engineer, RHCSA

Productization Lead :: JBoss Tools & Dev Studio

IM: @nickboldt / @nboldt / http://nick.divbyzero.com

TRIED. TESTED. TRUSTED.
@ @redhatnews      Red Hat