devtools/madb: specify devices with their indices.

This allows users to specify devices with their devices indicies. For
example,

    madb -n=@1,@2 start

will only start the app on the first and second devices, and not on
the res.

Change-Id: I96573e50e5693e5ca5abbb7ad4b4d851ee33fa7b
3 files changed
tree: 0b9bbbd91f150b1c2b89945ebdfe5f3e50df6bef
  1. bendroid/
  2. dashboard/
  3. data/
  4. godepcop/
  5. gologcop/
  6. internal/
  7. jiri-api/
  8. jiri-copyright/
  9. jiri-dockergo/
  10. jiri-go/
  11. jiri-goext/
  12. jiri-oncall/
  13. jiri-profile-v23/
  14. jiri-run/
  15. jiri-swift/
  16. jiri-test/
  17. jiri-v23-profile/
  18. jiridoc/
  19. madb/
  20. mailer/
  21. oncall/
  22. postsubmit/
  23. presubmit/
  24. vbinary/
  25. vcloud/
  26. vjenkins/
  27. vkiosk/
  28. vmon/
  29. .gitignore
  30. .godepcop
  31. .jiriignore
  32. AUTHORS
  33. CONTRIBUTING.md
  34. CONTRIBUTORS
  35. LICENSE
  36. PATENTS
  37. README.md
  38. VERSION
README.md

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.