diff --git a/ubuntu18.04/cuda-devel/Dockerfile b/ubuntu18.04/cuda-devel/Dockerfile index ed1037601db77f8cb93021b1d529f3a8cf05896e..77b0ea7af7f1a8351aee7eadebf1272e1a2e8675 100644 --- a/ubuntu18.04/cuda-devel/Dockerfile +++ b/ubuntu18.04/cuda-devel/Dockerfile @@ -20,6 +20,7 @@ RUN apt-get update && \ -DUSE_SIGNAL_HANDLER=ON \ -DENABLE_CUDA_RTC=ON \ -DBUILD_CPP_EXAMPLES=OFF \ + -DDO_NOT_BUILD_EXAMPLES=ON \ -DUSE_GPERFTOOLS=OFF \ -DUSE_JEMALLOC=OFF \ -G Ninja && \ diff --git a/ubuntu18.04/devel/Dockerfile b/ubuntu18.04/devel/Dockerfile index a2a8de9117ce3a2fded4e4ed7ff453dc1dc7e2ac..f88ee3ae302e8bf6f26d591f670d99335947c2ba 100644 --- a/ubuntu18.04/devel/Dockerfile +++ b/ubuntu18.04/devel/Dockerfile @@ -19,6 +19,7 @@ RUN apt-get update && \ -DUSE_SIGNAL_HANDLER=ON \ -DENABLE_CUDA_RTC=OFF \ -DBUILD_CPP_EXAMPLES=OFF \ + -DDO_NOT_BUILD_EXAMPLES=ON \ -DUSE_GPERFTOOLS=OFF \ -DUSE_JEMALLOC=OFF \ -G Ninja && \