diff options
Diffstat (limited to 'docker/prepare_env.sh')
| -rwxr-xr-x | docker/prepare_env.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docker/prepare_env.sh b/docker/prepare_env.sh index cae53b7c..321ae9fe 100755 --- a/docker/prepare_env.sh +++ b/docker/prepare_env.sh @@ -156,6 +156,19 @@ if [ $offline == false ]; then git reset --hard ${ONOS_COMMIT} fi + info "Updating PROMISE repository...." + cd ${PROMISE_REPO_DIR} + if [ ${PROMISE_BRANCH} != "master" ]; then + info "PROMISE repo: checkout ${PROMISE} branch..." + git checkout ${PROMISE_BRANCH} + fi + info "PROMISE repo: pulling to latest..." + git pull + if [ ${PROMISE_COMMIT} != "latest" ]; then + info "PROMISE repo: given commit is ${PROMISE_COMMIT}. Reseting..." + git reset --hard ${PROMISE_COMMIT} + fi + fi # We do this regardless if its online or offline mode. |