| Zack Williams | 7468c36 | 2018-04-06 09:52:30 -0700 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| 2 | |
| 3 | # Copyright 2018-present Open Networking Foundation |
| 4 | # |
| 5 | # Licensed under the Apache License, Version 2.0 (the "License"); |
| 6 | # you may not use this file except in compliance with the License. |
| 7 | # You may obtain a copy of the License at |
| 8 | # |
| 9 | # http://www.apache.org/licenses/LICENSE-2.0 |
| 10 | # |
| 11 | # Unless required by applicable law or agreed to in writing, software |
| 12 | # distributed under the License is distributed on an "AS IS" BASIS, |
| 13 | # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 14 | # See the License for the specific language governing permissions and |
| 15 | # limitations under the License. |
| 16 | |
| 17 | # repopatch.sh |
| 18 | # downloads a patch to within an already checked out repo tree |
| 19 | |
| 20 | set +e -u -o pipefail |
| 21 | |
| 22 | # verify that we have repo installed |
| 23 | command -v repo >/dev/null 2>&1 || { echo "repo not found, please install it" >&2; exit 1; } |
| 24 | |
| 25 | echo "Checking out patch with repo, using repo version:" |
| 26 | repo version |
| 27 | |
| 28 | echo "GERRIT_PROJECT: ${GERRIT_PROJECT}" |
| 29 | echo "GERRIT_CHANGE_NUMBER: ${GERRIT_CHANGE_NUMBER}" |
| 30 | echo "GERRIT_PATCHSET_NUMBER: ${GERRIT_PATCHSET_NUMBER}" |
| 31 | |
| 32 | echo "Make this work eventually!" |
| 33 | |