977aaf6f59
Use pipefail in some shell commands. In this case I don't think we can really be fooled, but not a bad idea to fail if the first command errors. Change-Id: I25750c4edfe815af9e9d9ee47639b315e7133aa2