Android hints: Only use adb if $targetrun is set to adb

This loses us some DWIMnery, but allows cross-compiling to
android using ssh, which is much easier to set up than getting
the SDK.

diff --git a/hints/linux-android.sh b/hints/linux-android.sh
index 3d2c3ce..5b39481 100644 (file)
--- a/hints/linux-android.sh
+++ b/hints/linux-android.sh
@@ -124,6 +124,8 @@ fi
 
 EOCBU
 
+if $test "X$targetrun" = "Xadb"; then
+
 case "$src" in
     /*) run=$src/Cross/run
             targetmkdir=$src/Cross/mkdir
@@ -137,7 +139,7 @@ case "$src" in
             from=$pwd/Cross/from
                ;;
 esac
-    
+
 targetrun=adb-shell
 targetto=adb-push
 targetfrom=adb-pull
@@ -237,6 +239,8 @@ exit 0
 EOF
 $chmod a+rx $from
 
+fi # Cross-compiling with adb
+
 if $test "X$hostosname" = "Xdarwin"; then
   firstmakefile=GNUmakefile;
 fi