Merge "Have verify.sh use build.sh so verify checks user code path"
authorKeith Burns <[email protected]>
Tue, 21 Jun 2016 11:34:28 +0000 (11:34 +0000)
committerGerrit Code Review <[email protected]>
Tue, 21 Jun 2016 11:34:28 +0000 (11:34 +0000)

Trivial merge