diff options
author | Sven Gothel <[email protected]> | 2010-07-27 22:48:52 -0700 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2010-07-27 22:48:52 -0700 |
commit | 93120cc0876b52be09720eff27126ccc924e7d12 (patch) | |
tree | 9c80d47395700fe9bcc146d02365ce20063fc6a7 /make | |
parent | d6b4ffc56c2e8b2999dd03a64ffaa0730ffd84b0 (diff) |
Simplify default value of product.build.number
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" /> |