diff options
| author |   jose.lausuch <jose.lausuch@ericsson.com> | 2016-02-22 12:51:02 +0100 |
|---|---|---|
| committer |   Morgan Richomme <morgan.richomme@orange.com> | 2016-02-22 13:19:31 +0000 |
| commit | 716abc42abd73241c42e432c87c362118b09026a (patch) | |
| tree | 646e44f033481cbfe354e4ff7dbe87858c566b2d /docker/prepare_env.sh | |
| parent | 8227267be946b434cb211f8fa9da2052b474a8d9 (diff) | |
Add git support for Doctor repo in config_functest.yaml
Change-Id: I10ad0dc6cd6697a2a93f5e11edcdd69f70f86c5f
Signed-off-by: jose.lausuch <jose.lausuch@ericsson.com>
(cherry picked from commit e0e52cec1e43491714f0ce078a7722e2cc3d9fca)
Diffstat (limited to 'docker/prepare_env.sh')
| -rwxr-xr-x | docker/prepare_env.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docker/prepare_env.sh b/docker/prepare_env.sh index ea82ea1c0..542df0e72 100755 --- a/docker/prepare_env.sh +++ b/docker/prepare_env.sh @@ -174,6 +174,18 @@ if [ $offline == false ]; then git reset --hard ${OVNO_COMMIT} fi + info "Updating DOCTOR repository...." + cd ${DOCTOR_REPO_DIR} + if [ ${DOCTOR_BRANCH} != "master" ]; then + info "DOCTOR repo: checkout ${DOCTOR} branch..." + git checkout ${DOCTOR_BRANCH} + fi + info "DOCTOR repo: pulling to latest..." + git pull + if [ ${DOCTOR_COMMIT} != "latest" ]; then + info "DOCTOR repo: given commit is ${DOCTOR_COMMIT}. Reseting..." + git reset --hard ${DOCTOR_COMMIT} + fi fi # We do this regardless if its online or offline mode. |