From 4ec7b5c93f43db33c0cb918581613dd53e7a5913 Mon Sep 17 00:00:00 2001
From: Paul-Louis Ageneau <paul-louis@ageneau.org>
Date: Fri, 14 Jun 2024 23:28:22 +0200
Subject: [PATCH] Set docker build to release mode

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index f479e7e..85541fa 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -6,7 +6,7 @@ RUN apk update --no-cache; \
 WORKDIR /usr/src/violet
 COPY . .
 
-RUN cmake -B build; \
+RUN cmake -B build -DCMAKE_BUILD_TYPE=Release; \
     cd build; \
     make -j2