From 950155e24d3fa87decd7b00f7f4e8a3cbd35b33c Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 30 Jun 2015 22:14:12 +0000
Subject: [PATCH] specify strict APP_PLATFORM to avoid crashes on devices with
 older android version

---
 src/ui/android/AndroidManifest.xml | 2 +-
 src/ui/android/jni/Application.mk  | 2 +-
 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