diff options
author | 2016-12-01 02:42:15 +0100 | |
---|---|---|
committer | 2016-12-01 02:42:15 +0100 | |
commit | d35b9b51200f160e90b20848e5aaf556ebefd4a4 (patch) | |
tree | b96df00c16ac1268679b221f79103e496e603b3d | |
parent | 19828c52e5b50de79739e2c206382be74e596847 (diff) |
setup.d/30_tools: grab and install repo tool
Change-Id: Id80546f16fe8f83ebe6636c25e51ae6f0dc42dd4
Signed-off-by: Stephane Desneux <stephane.desneux@iot.bzh>
-rwxr-xr-x | INSTALL/setup.d/30_tools | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/INSTALL/setup.d/30_tools b/INSTALL/setup.d/30_tools index 486daba..b9d87f9 100755 --- a/INSTALL/setup.d/30_tools +++ b/INSTALL/setup.d/30_tools @@ -10,3 +10,6 @@ for x in $INSTDIR/tools/scripts/*; do install --mode=755 $x /usr/local/bin/ done +# grab and install repo tool +wget -O /usr/local/bin/repo https://storage.googleapis.com/git-repo-downloads/repo +chmod a+x /usr/local/bin/repo |