diff --git a/tools/build-release.sh b/tools/build-release.sh index 51ce0339a..c96171782 100755 --- a/tools/build-release.sh +++ b/tools/build-release.sh @@ -14,7 +14,7 @@ if [ x"$1" = x"--inside-docker" ]; then fi # bin-Ubuntu-16.04-amd64 was superceded by the reproducible built 18.04 version. -ALL_TARGETS="bin-Fedora-28-amd64 bin-Ubuntu-16.04-i386 zipfile" +ALL_TARGETS="bin-Fedora-28-amd64 zipfile" FORCE_VERSION= FORCE_UNCLEAN=false @@ -89,10 +89,6 @@ for target in $TARGETS; do DOCKERFILE=contrib/Dockerfile.builder TAG=ubuntu-amd64 ;; - Ubuntu-16.04-i386) - DOCKERFILE=contrib/Dockerfile.builder.i386 - TAG=ubuntu-i386 - ;; *) echo "No Dockerfile for $platform" >&2 exit 1