diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index 4b09f2535..a7ba217fb 100644 --- a/make/build.xml +++ b/make/build.xml @@ -292,6 +292,7 @@ <target name="tag.build" depends="init"> <copy file="${build.gluegen}/artifact.properties" todir="${build}" overwrite="true"/> + <echo message='jogl.build.version=${jogamp.version}${line.separator}' file="${build}/artifact.properties" append="true"/> <echo message='jogl.build.number=${jogl.build.number}${line.separator}' file="${build}/artifact.properties" append="true"/> <echo message='jogl.build.id=${jogl.build.id}${line.separator}' file="${build}/artifact.properties" append="true"/> <echo message='jogl.build.branch=${jogl.build.branch}${line.separator}' file="${build}/artifact.properties" append="true"/> |