tree a2bbfacbb1066c8b6aa4f4be19a4f5ee5c4d9376
parent 1dd03159b9e9c2639193e72a885855b79699e1a0
author Jing Jin <jingjin@google.com> 1458080730 -0700
committer Jing Jin <jingjin@google.com> 1458080730 -0700

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