From 89dd23ee4547821cc963e99a9d5567b92de83024 Mon Sep 17 00:00:00 2001 From: David Black Date: Wed, 26 Dec 2012 18:45:29 +0000 Subject: [PATCH] enable jni in serval batphone --- metadata/org.servalproject.txt | 2 +- metadata/se.johanhil.duckduckgo.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/metadata/org.servalproject.txt b/metadata/org.servalproject.txt index 11c7132803..224c95ace5 100644 --- a/metadata/org.servalproject.txt +++ b/metadata/org.servalproject.txt @@ -38,7 +38,7 @@ Repo Type:git Repo:https://github.com/servalproject/batphone.git #Releases are in master branch, beta in development; version codes are mysterious -Build Version:0.90-beta,1877,!needs checking 0.90-beta,buildjni=no,submodules=yes,prebuild=\ +Build Version:0.90-beta,1877,!needs checking 0.90-beta,buildjni=yes,submodules=yes,prebuild=\ sed -i 's/android:versionName="\@string\/version"/android:versionName="0.90-beta"/g' AndroidManifest.xml Auto Update Mode:None diff --git a/metadata/se.johanhil.duckduckgo.txt b/metadata/se.johanhil.duckduckgo.txt index 49974c5b09..9223bdbb69 100644 --- a/metadata/se.johanhil.duckduckgo.txt +++ b/metadata/se.johanhil.duckduckgo.txt @@ -10,7 +10,7 @@ Integrates the search engine DuckDuckGo with the Android OS. It adds another web search provider to the system and some neat suggestions for the user. -N.B There is an option in the CyanogenMod 10 browser and [[org.tint]] to use DDG. +N.B There is an option in the CyanogenMod 10 browser and Tint browser to use DDG. [[org.mozilla.firefox]] allows you make search engines by long-pressing any input field. .