diff options
Diffstat (limited to 'make/jogamp-env.xml')
| -rwxr-xr-x | make/jogamp-env.xml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/make/jogamp-env.xml b/make/jogamp-env.xml new file mode 100755 index 0000000..579714f --- /dev/null +++ b/make/jogamp-env.xml @@ -0,0 +1,19 @@ +<?xml version="1.0" encoding="UTF-8"?> +<project name="jogamp-env" basedir="."> + + <target name="jogamp.env.init"> + <property environment="env" /> + + <!-- 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" /> + </condition> + + </target> + +</project> |