Update Android port

* java/debug.sh (is_root): Fix tee detection again for old
systems which don't return exit codes from adb shell.
* src/android.c (android_run_select_thread, NATIVE_NAME,
JNICALL):
* src/android.h (NATIVE_NAME):
* src/androidterm.c (JNICALL, NATIVE_NAME): Apply stack
alignment to all JNICALL functions.

1 files changed, 1 insertions, 1 deletions

diff --git a/java/debug.sh b/java/debug.sh
index f07bb98ed7d..83690e0b536 100755
--- a/java/debug.sh
+++ b/java/debug.sh
@@ -281,7 +281,7 @@ else
     # Upload the specified gdbserver binary to the device.
     adb -s $device push "$gdbserver" "$gdbserver_bin"
 
-    if adb -s $device shell ls /system/bin/tee; then
+    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"