From 76ae9a1e8067a81982c7a24af6a3530782a517b8 Mon Sep 17 00:00:00 2001
From: Hubert Plociniczak <hubert.plociniczak@gmail.com>
Date: Thu, 6 Mar 2025 10:41:10 +0100
Subject: [PATCH] Pass ENSO_LAUNCHER in docker, if present (#12418)

Passing `ENSO_LAUNCHER=native` will use native image for language
server.
---
 tools/ci/docker/engine/Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/ci/docker/engine/Dockerfile b/tools/ci/docker/engine/Dockerfile
index c2e6f3c16325..48484d7ed542 100755
--- a/tools/ci/docker/engine/Dockerfile
+++ b/tools/ci/docker/engine/Dockerfile
@@ -10,6 +10,7 @@ ARG PRINT_VERSION=0
 ARG JAVA_OPTS="-XX:MaxRAMPercentage=90.0 -XX:InitialRAMPercentage=90.0"
 ARG PROFILING_FILENAME
 ARG PROFILING_TIME
+ARG ENSO_LAUNCHER
 
 RUN useradd -u 2000 -c 'Enso Developer' -U -m ensodev
 
@@ -65,6 +66,7 @@ ENV YDOC_PORT=${YDOC_PORT}
 ENV LOG_LEVEL=${LOG_LEVEL}
 ENV PRINT_VERSION=${PRINT_VERSION}
 ENV JAVA_OPTS=${JAVA_OPTS}
+ENV ENSO_LAUNCHER=${ENSO_LAUNCHER}
 
 EXPOSE ${RPC_PORT}
 EXPOSE ${DATA_PORT}