From 8865840c2957dd0dd6d502cc177f28d1579f08a0 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@klayout.de>
Date: Sun, 17 Dec 2023 22:04:05 +0100
Subject: [PATCH] Bug fix in build script

---
 scripts/deploy-win-ucrt64.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/deploy-win-ucrt64.sh b/scripts/deploy-win-ucrt64.sh
index 72e8eaa89..c1dc8b74d 100644
--- a/scripts/deploy-win-ucrt64.sh
+++ b/scripts/deploy-win-ucrt64.sh
@@ -88,7 +88,7 @@ if [ "$MSYSTEM" == "UCRT64" ]; then
     echo "ERROR: ucrt64 DLLs not found"
     exit 1
   fi
-  ucrt_vssdk=$(cygpath -w "${a[0]}")
+  ucrt_vssdk=$(cygpath -w "$ucrt_vssdk")
 
 else
   echo "ERROR: not in ucrt64 system."