diff options
author | Morgan Richomme <morgan.richomme@orange.com> | 2016-01-12 09:58:49 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-01-12 09:58:49 +0000 |
commit | 5c0e095139fcc8131db0df64086edfe1d6b43a22 (patch) | |
tree | a197b517fa650579edb115695f8eac6fb7007151 /docker/prepare_env.sh | |
parent | dab05332b65c232b563f128aa7919949e30c10d2 (diff) | |
parent | 3d064f457576fe87cce5813af7d33cf45e898e3d (diff) |
Merge "Prepare Promise integration in Functest"
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 cae53b7c0..321ae9fe3 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. |