diff options
author | Sven Gothel <[email protected]> | 2010-07-26 16:11:22 -0700 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2010-07-26 16:11:22 -0700 |
commit | 75369cd69de48af7a81f35742702f6c344869de0 (patch) | |
tree | 893491bf015a2fb51b0c3de07f6f43e280dc6c5f /make/build.xml | |
parent | fb34556d4d3905a66f05c81947e1fae09f82d7f7 (diff) |
Fix build.number -> gluegen.build.number; Read artifact.properties
Diffstat (limited to 'make/build.xml')
-rwxr-xr-x | make/build.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 2cc7288..ef22a56 100755 --- a/make/build.xml +++ b/make/build.xml @@ -49,6 +49,7 @@ <property name="javadoc" location="${build}/javadoc" /> <property name="gluegen.lib.dir" value="${build}/obj"/> + <property file="${build}/artifact.properties"/> <!-- The generated source directories. --> <property name="src.generated" value="${build}/gensrc" /> @@ -691,7 +692,7 @@ </target> <target name="tag.build"> - <echo message='gluegen.build.number="${build.number}"${line.separator}' file="${build}/artifact.properties"/> + <echo message='gluegen.build.number=${gluegen.build.number}${line.separator}' file="${build}/artifact.properties"/> </target> <target name="junit.compile"> |