From 0a6a76734a8321a73e00d1ee0c8078da2c8138c6 Mon Sep 17 00:00:00 2001 From: Yatao Li Date: Sun, 13 Jan 2019 00:08:32 +0800 Subject: [PATCH] docker: ubuntu 14.04 dotnet source fix --- contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile b/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile index f6541a2c9..8a4812de2 100644 --- a/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile +++ b/contrib/ci/Dockerfiles/z3_base_ubuntu_14.04.Dockerfile @@ -26,7 +26,7 @@ RUN apt-get update && \ python2.7 \ python-setuptools -RUN curl -SL https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \ +RUN curl -SL https://packages.microsoft.com/config/ubuntu/14.04/packages-microsoft-prod.deb --output packages-microsoft-prod.deb && \ dpkg -i packages-microsoft-prod.deb && \ apt-get update && \ apt-get -y --no-install-recommends install dotnet-sdk-2.1