Ports: Clone Git repositories to the actual workdir

cubiclove · Sep 24, 2023 · e12e833 · e12e833
1 parent 3494082
commit e12e833
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git 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
@@ -1,6 +1,5 @@
 #!/usr/bin/env -S bash ../.port_include.sh
 port='gn'
-workdir='gn'
 version='2023.07.12'
 useconfigure='true'
 files=(