From 38cb9e9a8ca032cdf28c6593b57ae6f70cace55a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lie=20Albert?= Date: Fri, 23 Jun 2023 14:54:57 +0200 Subject: [PATCH] Update Dockerfile --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 660da5e..9b6ef85 100644 --- a/Dockerfile +++ b/Dockerfile @@ -33,7 +33,7 @@ RUN git clone -b v2.x https://github.com/catchorg/Catch2.git \ WORKDIR /build RUN git clone -b june23_demo https://github.com/nextsimdg/nextsimdg.git \ && cd nextsimdg \ - && cmake -B build/ \ + && cmake -DCMAKE_BUILD_TYPE=Release -B build/ \ && make -j ${MAX_JOBS} -C build #