gentoo: git_gentoo_url: update URL to the new system

[home.git] / .profile.d / google.sh

diff --git a/.profile.d/google.sh b/.profile.d/google.sh
index 1286eca951dd067b53b836c312eb61ce53c1effb..20e72b9b9042409f64ae379d311350083ac8d327 100644 (file)
--- a/.profile.d/google.sh
+++ b/.profile.d/google.sh
@@ -1,7 +1,9 @@
 if [ -d ~/depot_tools ] ; then
-       path_prepend "`echo ~`/depot_tools"
-else
-       path_prepend "`echo ~`/chromiumos/depot_tools"
+       path_append "`echo ~`/depot_tools"
+elif [ -d ~/chromiumos/depot_tools ] ; then
+       path_append "`echo ~`/chromiumos/depot_tools"
+elif [ -d ~/chromiumos/chromium/tools/depot_tools ] ; then
+       path_append "`echo ~`/chromiumos/chromium/tools/depot_tools"
 fi
 if [ -d ~/gentoo ] ; then
        export EPREFIX="$HOME/gentoo"