From cd45c04514f4dbf2b04027425ff745f6249df9cd Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sat, 28 Mar 2015 20:13:52 +0000
Subject: [PATCH] improve mkandroid

---
 misc/mkandroid | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/misc/mkandroid b/misc/mkandroid
index b3132b18c..705c0a143 100755
--- a/misc/mkandroid
+++ b/misc/mkandroid
@@ -166,8 +166,8 @@ else
   --enable-dynamic-loading \
   --with-swig \
   --with-gmp=$GMPDIR \
-  --with-sqlite3=$SQLITE3DIR \
-  --enable-chr=yes #--enable-threads
+  --with-sqlite3=$SQLITE3DIR #\
+  #--enable-chr=yes #--enable-threads
   make depend
   make -j install
 fi