diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/docker_incontainer.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/scripts/docker_incontainer.sh b/tools/ci/scripts/docker_incontainer.sh index 68d6f8ceb..ef7a9137b 100755 --- a/tools/ci/scripts/docker_incontainer.sh +++ b/tools/ci/scripts/docker_incontainer.sh @@ -4,5 +4,6 @@ mkdir logs echo ${PACKAGES} ./tools/ci/scripts/retry.sh apt-get update ./tools/ci/scripts/retry.sh apt-get install -y -qq ${PACKAGES} +./tools/ci/scripts/patchsdl1.sh || true echo ${COMMAND} ${COMMAND} |