diff options
| author | Sven Gothel <[email protected]> | 2013-06-25 13:54:09 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2013-06-25 13:54:09 +0200 |
| commit | e946fe33ab21d907e587402572effac4d9aba000 (patch) | |
| tree | 5c234aea927d9d956f72619fa2237efba6643a8b | |
| parent | c28d5c8d0d83670a548671a1d0da55e3447ea0c7 (diff) | |
TAG RC12 / Android 0914013v2.0.2-rc12v2.0-rc12
| -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 5da12d5..110cb33 100755 --- a/make/jogamp-env.xml +++ b/make/jogamp-env.xml @@ -79,13 +79,14 @@ <property name="jogamp.version.major" value="2"/> <property name="jogamp.version.minor" value="0"/> <property name="jogamp.version.submi" value="2"/> - <property name="jogamp.version.devel" value="-rc-${version.timestamp}"/> + <!-- property name="jogamp.version.devel" value="-rc-${version.timestamp}"/--> <!-- devel tag, blank for release --> + <property name="jogamp.version.devel" value="-rc12"/> <!-- RC tag, blank for release --> <property name="jogamp.version.base" value="${jogamp.version.major}.${jogamp.version.minor}"/> <property name="jogamp.version" value="${jogamp.version.base}.${jogamp.version.submi}${jogamp.version.devel}" /> <echo message="jogamp.version ${jogamp.version}"/> <!-- This is the Android version: xxyyzzz, xx=API yy screen-from-to zzz app-version--> - <property name="jogamp.version.int" value="0914012"/> + <property name="jogamp.version.int" value="0914013"/> <echo message="jogamp.version.int ${jogamp.version.int}"/> <!-- only set 'junit.is.disabled' if set in environment as 'true' to disable JUNIT tests --> |