From 948a79952f06b75e939c87aeece0942b6d47ae05 Mon Sep 17 00:00:00 2001
From: tangowithfoxtrot <5676771+tangowithfoxtrot@users.noreply.github.com>
Date: Fri, 2 May 2025 08:39:22 -0700
Subject: [PATCH] fix: compatibility with the existin run.sh script

---
 util/Setup/Dockerfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/util/Setup/Dockerfile b/util/Setup/Dockerfile
index 7769f52eef..6266405d9d 100644
--- a/util/Setup/Dockerfile
+++ b/util/Setup/Dockerfile
@@ -40,7 +40,6 @@ COPY .editorconfig /source
 WORKDIR /source/util/Setup
 RUN . /tmp/rid.txt && dotnet publish \
     --self-contained \
-    /p:PublishSingleFile=true \
     /p:SourceRevisionId="$GIT_COMMIT" \
     -r $RID \
     -o out