From e12e833eaac866f8666e28fd7d02cd2a23b84bd9 Mon Sep 17 00:00:00 2001 From: Tim Schumacher Date: Thu, 21 Sep 2023 13:45:56 +0200 Subject: [PATCH] Ports: Clone Git repositories to the actual workdir --- Ports/.port_include.sh | 2 +- Ports/gn/package.sh | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 84c62cb366..8c64edc578 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -376,7 +376,7 @@ fetch_git() { directory="$(basename "${repository}")" backing_copy="${PORT_META_DIR}/${directory}" - working_copy="${PORT_BUILD_DIR}/${directory}" + working_copy="${PORT_BUILD_DIR}/${workdir}" run_nocd git init --bare "${backing_copy}" run_nocd git -C "${backing_copy}" config core.autocrlf false diff --git a/Ports/gn/package.sh b/Ports/gn/package.sh index 772956a5dc..d9f180e7f9 100755 --- a/Ports/gn/package.sh +++ b/Ports/gn/package.sh @@ -1,6 +1,5 @@ #!/usr/bin/env -S bash ../.port_include.sh port='gn' -workdir='gn' version='2023.07.12' useconfigure='true' files=(