diff --git a/docker-dev b/docker-dev index b71c8e3e0..4e1fc44ee 100755 --- a/docker-dev +++ b/docker-dev @@ -273,7 +273,7 @@ DOCKER_TARGET="dev" RUST_TARGET="" if [ -n "${CROSS:-}" ]; then if [[ "${CROSS}" == *-gnu ]]; then - DOCKER_BASE_IMAGE="debian:9.13" + DOCKER_BASE_IMAGE="debian:8.11" fi DOCKER_TARGET="cross-${CROSS}"