diff options
Diffstat (limited to 'make/jogamp-env.xml')
| -rwxr-xr-x | make/jogamp-env.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/make/jogamp-env.xml b/make/jogamp-env.xml index 5655209..e53ffe6 100755 --- a/make/jogamp-env.xml +++ b/make/jogamp-env.xml @@ -15,6 +15,12 @@ </not> </condition> + <condition property="android.version" value="${env.ANDROID_VERSION}" else="9"> + <not> + <equals arg1="${env.ANDROID_VERSION}" arg2="$${env.ANDROID_VERSION}" casesensitive="true" /> + </not> + </condition> + </target> </project> |