diff options
author | jose.lausuch <jose.lausuch@ericsson.com> | 2016-02-22 12:51:02 +0100 |
---|---|---|
committer | jose.lausuch <jose.lausuch@ericsson.com> | 2016-02-22 12:51:02 +0100 |
commit | e0e52cec1e43491714f0ce078a7722e2cc3d9fca (patch) | |
tree | 5c85d84d4523ff4084aaef017cac6354d296c473 /docker/prepare_env.sh | |
parent | 8960264f843abd8c261b0effe9014d1be5cd4dae (diff) |
Add git support for Doctor repo in config_functest.yaml
Change-Id: I10ad0dc6cd6697a2a93f5e11edcdd69f70f86c5f
Signed-off-by: jose.lausuch <jose.lausuch@ericsson.com>
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 ea82ea1c..542df0e7 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. |