diff options
Diffstat (limited to 'make/jogamp-env.xml')
| -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 5aa654f..860c49e 100755 --- a/make/jogamp-env.xml +++ b/make/jogamp-env.xml @@ -77,8 +77,8 @@ <echo message="jogamp.version ${jogamp.version}"/> <!-- This is the Android version: xxyyzzz, xx=API yy screen-from-to zzz app-version--> - <property name="jogamp_int_version" value="0914012"/> - <echo message="jogamp_int_version ${jogamp_int_version}"/> + <property name="jogamp.version.int" value="0914012"/> + <echo message="jogamp.version.int ${jogamp.version.int}"/> <!-- only set 'junit.is.disabled' if set in environment as 'true' to disable JUNIT tests --> <condition property="junit.is.disabled" value="${env.JUNIT_DISABLED}"> |