diff options
author | Anthony Green <green@moxielogic.com> | 2019-11-24 16:26:14 -0500 |
---|---|---|
committer | Anthony Green <green@moxielogic.com> | 2019-11-24 16:26:14 -0500 |
commit | 932e5bb68a603885e4bd9cf1bd5146542f736ccf (patch) | |
tree | 0396a4ee6a49e474cbe1dd01028031c732f25ba6 | |
parent | 803db14c5a0aeb52ee521fe4fe4a7919926373de (diff) | |
download | libffi-932e5bb68a603885e4bd9cf1bd5146542f736ccf.tar.gz |
Force the use of docker
-rwxr-xr-x | .travis/build.sh | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/.travis/build.sh b/.travis/build.sh index c134f57..a0cfcef 100755 --- a/.travis/build.sh +++ b/.travis/build.sh @@ -8,15 +8,7 @@ else export SET_QEMU_CPU="-e QEMU_CPU=${QEMU_CPU}" fi -# Default to podman where available, docker otherwise. -# Override by setting the DOCKER environment variable. -if test -z "$DOCKER"; then - if command -v podman > /dev/null; then - export DOCKER=docker - else - export DOCKER=podman - fi -fi +export DOCKER=docker function build_cfarm() { |