diff options
| -rwxr-xr-x | make/jogamp-env.xml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/make/jogamp-env.xml b/make/jogamp-env.xml index 579714f..5655209 100755 --- a/make/jogamp-env.xml +++ b/make/jogamp-env.xml @@ -7,11 +7,12 @@ <!-- only set 'build.archiveon' if set in environment to trigger archive creation --> <condition property="build.archiveon" value="${env.BUILD_ARCHIVE}"> <istrue value="${env.BUILD_ARCHIVE}"/> - <!--isset property="${env.BUILD_ARCHIVE}"/--> </condition> <condition property="build.node.name" value="${env.NODE_NAME}" else="local"> - <length string="${env.NODE_NAME}" when="greater" length="0" /> + <not> + <equals arg1="${env.NODE_NAME}" arg2="$${env.NODE_NAME}" casesensitive="true" /> + </not> </condition> </target> |