From dcf8385e5bd31c1ccca6ae8fb0bb47c022032db0 Mon Sep 17 00:00:00 2001
From: Ali Mohammad Pur <ali.mpfard@gmail.com>
Date: Mon, 16 May 2022 19:21:25 +0430
Subject: [PATCH] Ports: Make package.sh dev work with ports that have slashes
 in $workdir

---
 Ports/.port_include.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh
index 1e787956eb..855d48151f 100755
--- a/Ports/.port_include.sh
+++ b/Ports/.port_include.sh
@@ -711,7 +711,7 @@ do_dev() {
         exit 1
     fi
 
-    git_repo=".$workdir-git"
+    git_repo=".${workdir////_}-git"
     [ -d "$git_repo" ] || (
         mv "$workdir" "$git_repo"
         pushd "$git_repo"