diff options
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. |