From d28a2e0bc208a5be508acb4b2b3d896595dd7d30 Mon Sep 17 00:00:00 2001 From: stu1130 Date: Mon, 20 May 2019 22:43:04 -0700 Subject: [PATCH] update to cuda 10.1 --- ci/docker/install/ubuntu_nvidia.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/docker/install/ubuntu_nvidia.sh b/ci/docker/install/ubuntu_nvidia.sh index 36eb21b8a03e..41f68a21858b 100755 --- a/ci/docker/install/ubuntu_nvidia.sh +++ b/ci/docker/install/ubuntu_nvidia.sh @@ -22,4 +22,4 @@ set -ex # Retrieve ppa:graphics-drivers and install nvidia-drivers. # Note: DEBIAN_FRONTEND required to skip the interactive setup steps apt update -DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends cuda-10-0 +DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends cuda-10-1