Add repo tool

Change-Id: I1766a6fe269cf64c379d2e1f8241325e18301b1a
Signed-off-by: Jan-Simon Möller <jsmoeller@linuxfoundation.org>

diff --git a/packer/provision/agl_mirror.sh b/packer/provision/agl_mirror.sh
index 9bfc264..ea73905 100644 (file)
--- a/packer/provision/agl_mirror.sh
+++ b/packer/provision/agl_mirror.sh
@@ -2,6 +2,12 @@
 
 set -x
 
+mkdir -p ~/bin || true
+PATH=~/bin:$PATH
+
+curl https://storage.googleapis.com/git-repo-downloads/repo > ~/bin/repo
+chmod a+x ~/bin/repo
+
 # Preclone the gerrit repos for speed (use with --reference=/opt/AGL/preclone)
 mkdir -p /opt/AGL/preclone
 cd /opt/AGL/preclone