summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2015-06-30 22:14:12 +0000
committerkrasimir <krasimir@chalmers.se>2015-06-30 22:14:12 +0000
commitfa13e1834c531ea704f54c6398e98f1befb2e2ca (patch)
tree6bb27cba7968ee4812eed08e575d4814738cb3e1 /src
parent22773909bf8d0e3e194411e8b9f504a51dae30bf (diff)
specify strict APP_PLATFORM to avoid crashes on devices with older android version
Diffstat (limited to 'src')
-rw-r--r--src/ui/android/AndroidManifest.xml2
-rw-r--r--src/ui/android/jni/Application.mk2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/ui/android/AndroidManifest.xml b/src/ui/android/AndroidManifest.xml
index f0e0c3e64..69c222231 100644
--- a/src/ui/android/AndroidManifest.xml
+++ b/src/ui/android/AndroidManifest.xml
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="utf-8"?>
<manifest xmlns:android="http://schemas.android.com/apk/res/android"
package="org.grammaticalframework.ui.android"
- android:versionCode="7"
+ android:versionCode="9"
android:versionName="1.2"
android:installLocation="auto" >
diff --git a/src/ui/android/jni/Application.mk b/src/ui/android/jni/Application.mk
index 1c6face0e..43b412e12 100644
--- a/src/ui/android/jni/Application.mk
+++ b/src/ui/android/jni/Application.mk
@@ -1,2 +1,2 @@
-
+APP_PLATFORM := android-8
APP_CFLAGS := -std=gnu99