From 9ce91c4c9483bf6bbced887f274b11c91ca947f3 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@aquariusoft.org>
Date: Sun, 7 Dec 2014 10:22:22 +0100
Subject: [PATCH] Added the tools dir for android binaries too

---
 .bashrc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.bashrc b/.bashrc
index 18b8ad6..119fd55 100644
--- a/.bashrc
+++ b/.bashrc
@@ -171,4 +171,5 @@ if [ -x ~/.dot/privdotfiles/bin ]; then
     PATH=$PATH:~/.dot/privdotfiles/bin
 fi
 
-PATH=$PATH:/usr/local/bin/android-sdk-linux/platform-tools
+# Android-related binaries
+PATH=$PATH:/usr/local/bin/android-sdk-linux/platform-tools:/usr/local/bin/android-sdk-linux/tools