From 36b12f934d0f0be20ecfcddaa15f97131496dfa3 Mon Sep 17 00:00:00 2001 From: Kamaropoulos Date: Mon, 13 Jul 2020 11:08:28 -0700 Subject: [PATCH] Changes Dockerfile image to Release build --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 5cb9549a0..4de37b92e 100644 --- a/Dockerfile +++ b/Dockerfile @@ -13,7 +13,7 @@ WORKDIR /opt/FEX/build ARG CC=clang-10 ARG CXX=clang++-10 -RUN cmake -G Ninja .. +RUN cmake -G Ninja .. -DCMAKE_BUILD_TYPE=Release RUN ninja RUN echo "PATH=\$PATH:/opt/FEX/build/Bin" >> ~/.bashrc