From 97d6445327f312a93a5c8411bd2260ad2ecd5685 Mon Sep 17 00:00:00 2001
From: Mike Frysinger <vapier@gentoo.org>
Date: Mon, 3 Dec 2012 16:43:46 -0500
Subject: [PATCH] cros-repo: add depot_tools helper

---
 .bin/cros-repo | 4 ++++
 1 file changed, 4 insertions(+)

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'
-- 
2.39.5