cros-repo: add depot_tools helper

diff --git a/.bin/cros-repo b/.bin/cros-repo
index c03020b35725f139e0835e183a27ca53e323594d..6a73ea8e5b9685f4223a335c4dd86ca52cdc1430 100755 (executable)
--- a/.bin/cros-repo
+++ b/.bin/cros-repo
@@ -5,6 +5,7 @@ usage() {
        Usage: repo-cros [options]
 
        Options:
+          depot_tools    clone depot_tools tree
           int            switch to internal tree
           ext            switch to external tree
           -b <branch>    switch branches (use "master" to get to ToT)
@@ -27,6 +28,9 @@ MANIFEST=
 REPO_URL=
 while [[ $# -gt 0 ]] ; do
        case $1 in
+       depot_tools)
+               exec git clone https://git.chromium.org/chromium/tools/depot_tools.git
+               ;;
        int)
                MANIFEST='ssh://gerrit-int.chromium.org:29419/chromeos/manifest-internal.git'
                REPO_URL='https://git.chromium.org/git/external/repo.git'