diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-03-27 18:25:02 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-03-28 00:29:52 +0300 |
| commit | b512a908ca8973c5d5d6c90ac0eb7ef270ddb770 (patch) | |
| tree | 93a2c4180c8d044ed61cfb501d423523186093c9 /tools/ci/scripts/docker_run.sh | |
| parent | a7d3e7b2c13408241aa0c99d0d767af302547c1c (diff) | |
| download | plus-b512a908ca8973c5d5d6c90ac0eb7ef270ddb770.tar.gz plus-b512a908ca8973c5d5d6c90ac0eb7ef270ddb770.tar.bz2 plus-b512a908ca8973c5d5d6c90ac0eb7ef270ddb770.tar.xz plus-b512a908ca8973c5d5d6c90ac0eb7ef270ddb770.zip | |
Add circleci build system.
Diffstat (limited to 'tools/ci/scripts/docker_run.sh')
| -rwxr-xr-x | tools/ci/scripts/docker_run.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/ci/scripts/docker_run.sh b/tools/ci/scripts/docker_run.sh index 0f37de458..5c0cd1197 100755 --- a/tools/ci/scripts/docker_run.sh +++ b/tools/ci/scripts/docker_run.sh @@ -1,5 +1,10 @@ #!/bin/bash -x +echo "IMAGE: ${IMAGE}" +echo "PACKAGES: ${PACKAGES}" +echo "COMMAND: ${COMMAND}" +echo "JOBS: ${JOBS}" + docker pull ${IMAGE} docker run \ --volume=$(pwd):/build:rw \ |