Update Android port

* java/debug.sh (is_root): Port to android versions which don't
support `chmod +x'.
* src/android.c (android_content_name_p): Disable before API
level 19.

1 files changed, 1 insertions, 1 deletions

diff --git a/java/debug.sh b/java/debug.sh
index 83690e0b536..339b3604810 100755
--- a/java/debug.sh
+++ b/java/debug.sh
@@ -284,7 +284,7 @@ else
     if (adb -s $device shell ls /system/bin | grep -G tee); then
         # Copy it to the user directory.
         adb -s $device shell "$gdbserver_cat"
-        adb -s $device shell "run-as $package chmod +x gdbserver"
+        adb -s $device shell "run-as $package chmod 777 gdbserver"
         gdbserver_cmd="./gdbserver"
     else
         # Hopefully this is an old version of Android which allows