[jboss-jira] [JBoss JIRA] Created: (GPD-87) build.xml does not adhere to properties set in ${user.home}//jbpm/build.properties
Ronald van Kuijk (JIRA)
jira-events at lists.jboss.org
Tue Jun 12 20:28:11 EDT 2007
build.xml does not adhere to properties set in ${user.home}//jbpm/build.properties
----------------------------------------------------------------------------------
Key: GPD-87
URL: http://jira.jboss.com/jira/browse/GPD-87
Project: JBoss jBPM GPD
Issue Type: Bug
Reporter: Ronald van Kuijk
Assigned To: Koen Aers
Priority: Minor
I've set some properties jbpm/build.properties in my homedir. The core build script takes these into account, as does all the non-gpd scripts. For the GPD however they are not used.
<property file="${user.home}/.settings/jbpm/build.properties" />
should be replace by
<property file="${user.home}/jbpm/build.properties" />
Then it works for me. Just not sure there is no other reason for this difference. Therefore this issue.
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://jira.jboss.com/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
More information about the jboss-jira
mailing list