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