diff options
Diffstat (limited to 'make')
| -rwxr-xr-x | make/build.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index ef22a56..6d73713 100755 --- a/make/build.xml +++ b/make/build.xml @@ -49,6 +49,11 @@ <property name="javadoc" location="${build}/javadoc" /> <property name="gluegen.lib.dir" value="${build}/obj"/> + <condition property="gluegen.build.number" value="manual-build"> + <not> + <isset property="gluegen.build.number"/> + </not> + </condition> <property file="${build}/artifact.properties"/> <!-- The generated source directories. --> |