From 2fc74ce8e08c43153e644bbcd3075b249e431b1f Mon Sep 17 00:00:00 2001
From: Marc Durdin <marc@durdin.net>
Date: Tue, 28 Jun 2022 11:04:18 +1000
Subject: [PATCH] fix(developer): dist path for server

Fixes #6859.

The production path needed to have all files under the build/dist/
folder, not just the build/ folder. Broken in the refactor in #6630.
---
 developer/src/server/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/developer/src/server/build.sh b/developer/src/server/build.sh
index ee3926396f..3e69b1d6af 100755
--- a/developer/src/server/build.sh
+++ b/developer/src/server/build.sh
@@ -186,8 +186,8 @@ if (( production )) ; then
 
   # We'll build in the build/ folder
   rm -rf build/
-  mkdir build/
-  cp -R dist/* build/
+  mkdir -p build/dist/
+  cp -R dist/* build/dist/
   cp -R "$PRODBUILDTEMP"/* build/
   rm -rf "$PRODBUILDTEMP"
 fi