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