commit 08d1a07e1acf12e75449fb72313be866bd308792
author Joel Fernandes (Google) <joel@joelfernandes.org> Mon May 28 13:29:03 2018 -0700
committer Joel Fernandes (Google) <joel@joelfernandes.org> Mon May 28 15:05:48 2018 -0700
tree ac13cc133e6f10416a7069fec9503f966114a001
parent d7f21f10b0e0bc8cbf77565b58f97a9f4afa5458

Add option to override default arch with --arch option

Signed-off-by: Joel Fernandes (Google) <joel@joelfernandes.org>

androdeb

diff --git a/androdeb b/androdeb
index 89a6b3f..9645f81 100755
--- a/androdeb
+++ b/androdeb
@@ -33,6 +33,7 @@
     remove) REMOVE=1;     shift || true;     ;;
     pull) PULL=1; shift || true; ;;
     buildtar) PREPARE=1; TARDIR="./"; config_full_build; shift || true; ;;
+    --arch) ARCH=$2; shift || true; shift || true; ;;
     --archive) TARF=$2; shift || true; shift || true; ;;
     --tracers) source $spath/packages/tracers; shift || true; ;;
     --compilers) source $spath/packages/compilers; shift || true; ;;