aboutsummaryrefslogtreecommitdiffstats
path: root/docker/prepare_env.sh
diff options
context:
space:
mode:
Diffstat (limited to 'docker/prepare_env.sh')
-rwxr-xr-xdocker/prepare_env.sh12
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.