diff options
| -rwxr-xr-x | make/build.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/make/build.xml b/make/build.xml index ec0ca0d..072a5b2 100755 --- a/make/build.xml +++ b/make/build.xml @@ -40,9 +40,6 @@ <property name="project.root" value=".." /> - <property name="gluegen.root" value="${project.root}/../gluegen" /> - <property name="gluegen.build" value="${gluegen.root}/${rootrel.build}" /> - <condition property="rootrel.build" value="build"> <not> <isset property="rootrel.build"/> @@ -50,6 +47,9 @@ </condition> <property name="build" location="${project.root}/${rootrel.build}" /> + <property name="gluegen.root" value="${project.root}/../gluegen" /> + <property name="gluegen.build" value="${gluegen.root}/${rootrel.build}" /> + <property file="${build}/artifact.properties"/> <property name="joal.build.number" value="manual-build"/> <property name="joal.build.id" value="${version.timestamp}"/> |