1 files changed, 9 insertions, 0 deletions
diff --git a/tools/ci/scripts/docker_run.sh b/tools/ci/scripts/docker_run.sh
new file mode 100755
index 000000000..8a3add42b
--- /dev/null
+++ b/tools/ci/scripts/docker_run.sh
@@ -0,0 +1,9 @@
+#!/bin/bash -x
+
+docker pull ${IMAGE}
+docker run \
+    --volume=$(pwd):/build:rw \
+    -e PACKAGES="${PACKAGES}" \
+    -e COMMAND="${COMMAND}" \
+    ${IMAGE} \
+    /bin/sh -x -c "cd /build; pwd; ./tools/ci/scripts/docker_incontainer.sh"