From f872b5d4db287975e78bd8a63444df766d82e59f Mon Sep 17 00:00:00 2001
From: Buck McCready <jbuckmccready@gmail.com>
Date: Mon, 7 Aug 2023 23:52:15 -0700
Subject: [PATCH] Change frontend build directory name to work around docker
 bug

---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 996d8d6..df4e703 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -45,9 +45,9 @@ npm --version
 npm install -g wasm-pack
 EOF
 
-RUN --mount=type=bind,source=frontend,target=frontend \
+RUN --mount=type=bind,source=frontend,target=build_dir \
     <<EOF
-cd frontend
+cd build_dir
 npm install
 npm run wasm
 npm run build