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