diff options
| author |  Ivan Vucica <ivucica@google.com> | 2016-07-11 16:17:59 +0000 |
|---|---|---|
| committer |  Kristina Chodorow <kchodorow@google.com> | 2016-07-12 11:17:32 +0000 |
| commit | 633e48a4ce8747575b156639608ee18afe4b386e (patch) | |
| tree | 698f92627522d6b0c27399983699e83fe82f0c1d /src/main/java/com/google/devtools/build/lib/buildtool | |
| parent | 74dce9f574eca9f7e4e494a39d7c392e05b8f562 (diff) | |
scripts/ci/ci.sh: Prefer COMMIT_RANGE from the environment, if defined.
This should let the users wrap around ci.sh if they want to use the instructions from
the comments (those related to Gerrit and Travis-CI), as opposed to having to edit the
script.
--
MOS_MIGRATED_REVID=127093626
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/buildtool')
0 files changed, 0 insertions, 0 deletions