commit | 7afdd1000465fa2fb2f2d69df302cae20021cab4 | [log] [tgz] |
---|---|---|
author | Cosmos Nicolaou <cnicolaou@google.com> | Thu Mar 10 14:08:44 2016 -0800 |
committer | Cosmos Nicolaou <cnicolaou@google.com> | Thu Mar 10 14:08:44 2016 -0800 |
tree | af1db270f0393c5073dacbbbcdb5d865119c5ba5 | |
parent | 243b9a8ff962ce589245eca3d44abdc5c6114ca9 [diff] |
v.io/x/devtools/jiri/test: avoid installing/updating profiles recursively. Change-Id: I787a5ab035e0384593becb000b6a835b7b3798a6
This repository contains developer tools used to install and contribute to Vanadium.
For more information, see the installation and contributing instructions.
This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.