diff options
-rwxr-xr-x | make/jogamp-env.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/jogamp-env.xml b/make/jogamp-env.xml index 6f74fb8..0dd9adc 100755 --- a/make/jogamp-env.xml +++ b/make/jogamp-env.xml @@ -79,9 +79,9 @@ <property name="jogamp.version.major" value="2"/> <property name="jogamp.version.minor" value="1"/> <property name="jogamp.version.submi" value="1"/> - <!-- property name="jogamp.version.devel" value="-rc-${version.timestamp}"/ --> <!-- Devel tag --> + <property name="jogamp.version.devel" value="-rc-${version.timestamp}"/> <!-- Devel tag --> <!-- property name="jogamp.version.devel" value="-rc12"/ --> <!-- RC tag --> - <property name="jogamp.version.devel" value=""/> <!-- Release tag --> + <!-- property name="jogamp.version.devel" value=""/ --> <!-- Release tag --> <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}"/> |