diff options
| author | Sven Gothel <[email protected]> | 2013-10-04 18:46:36 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2013-10-04 18:46:36 +0200 |
| commit | 0dc49ba20f889a0e5ef3de3d750c39f82f464fc1 (patch) | |
| tree | 7269abf87e07c5dc8391f435aeef2658df9dfc53 | |
| parent | db99aa2ebc8a345482f80ecdef2e8a8dc0c9e525 (diff) | |
artifact.properties: Add gluegen.build.version:=jogamp.version
| -rw-r--r-- | make/build.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index e22a062..554ba43 100644 --- a/make/build.xml +++ b/make/build.xml @@ -981,7 +981,8 @@ </target> <target name="tag.build" depends="init"> - <echo message='gluegen.build.number=${gluegen.build.number}${line.separator}' file="${build}/artifact.properties"/> + <echo message='gluegen.build.version=${jogamp.version}${line.separator}' file="${build}/artifact.properties"/> + <echo message='gluegen.build.number=${gluegen.build.number}${line.separator}' file="${build}/artifact.properties" append="true"/> <echo message='gluegen.build.id=${gluegen.build.id}${line.separator}' file="${build}/artifact.properties" append="true"/> <echo message='gluegen.build.branch=${gluegen.build.branch}${line.separator}' file="${build}/artifact.properties" append="true"/> <echo message='gluegen.build.commit=${gluegen.build.commit}${line.separator}' file="${build}/artifact.properties" append="true"/> |