From: Mike Frysinger <vapier@gentoo.org>
Date: Mon, 3 Dec 2012 21:43:46 +0000 (-0500)
Subject: cros-repo: add depot_tools helper
X-Git-Url: https://git.wh0rd.org/?a=commitdiff_plain;h=97d6445327f312a93a5c8411bd2260ad2ecd5685;p=home.git

cros-repo: add depot_tools helper
---

diff --git a/.bin/cros-repo b/.bin/cros-repo
index c03020b..6a73ea8 100755
--- 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'