diff options
author | 2016-07-11 16:17:59 +0000 | |
---|---|---|
committer | 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