devtools/jiri-test: fix issues in release automation.

- In release production, add a step to build necessary tools.
- Fix some typos and output.

I tested this locally on jenkins-release-1 slave. Tomorrow
after a new snapshot is cut and tested, we could add another
Jenkins job (release-production maybe) that the oncall person
can manually start to automate the production release process.

Change-Id: I83a5809de1af3cfb9b097d35da00a84e4417a1d0
1 file changed
tree: a2bbfacbb1066c8b6aa4f4be19a4f5ee5c4d9376
  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. tracify/
  25. vbinary/
  26. vcloud/
  27. vjenkins/
  28. vkiosk/
  29. vmon/
  30. .gitignore
  31. .godepcop
  32. .jiriignore
  33. AUTHORS
  34. CONTRIBUTING.md
  35. CONTRIBUTORS
  36. LICENSE
  37. PATENTS
  38. README.md
  39. 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.