diff options
| author | Sven Gothel <[email protected]> | 2010-07-26 18:06:41 -0700 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2010-07-26 18:06:41 -0700 |
| commit | c5da1b0d99b623ba14464be70a79ce1ffaccf6cc (patch) | |
| tree | 64b1bdd0b77f89098105283f3fa1dc21d0b72e62 /make | |
| parent | 75369cd69de48af7a81f35742702f6c344869de0 (diff) | |
Fix: Default value for gluegen.build.number
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. --> |