[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