diff options
author | Tom Parker-Shemilt <palfrey@tevp.net> | 2018-11-26 12:07:34 +0000 |
---|---|---|
committer | Tom Parker-Shemilt <palfrey@tevp.net> | 2018-11-26 12:07:34 +0000 |
commit | 0942070c31eccdafebf91e5323a01ea6cf79cf4f (patch) | |
tree | 018247344cdc882ead6189cb0187343833bab10d | |
parent | 9a04c39566ff085278119c410fe85ddfa8442736 (diff) | |
download | rust-libc-0942070c31eccdafebf91e5323a01ea6cf79cf4f.tar.gz |
Remove hacky Travis workaround
-rwxr-xr-x | ci/run-docker.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ci/run-docker.sh b/ci/run-docker.sh index b1bd77fa60..c656f5904d 100755 --- a/ci/run-docker.sh +++ b/ci/run-docker.sh @@ -8,12 +8,6 @@ set -ex run() { echo "Building docker container for target ${1}" - # FIXME: Hacky workaround. Docker build seems to work better if we pull the base images first - # Not using arrays/loops because it's not POSIX sh compatible - docker pull ubuntu:16.04 - docker pull ubuntu:17.10 - docker pull ubuntu:18.04 - # use -f so we can use ci/ as build context docker build -t libc -f "ci/docker/${1}/Dockerfile" ci/ mkdir -p target |