From afb19a2cff861d5abeab561d438db0c982f6ca7d Mon Sep 17 00:00:00 2001
From: Gurkirat Singh <tbhaxor@gmail.com>
Date: Fri, 11 Aug 2023 04:16:47 +0530
Subject: [PATCH] Ports: Fix `clean_dist` function in .port_include.sh

A bug was introduced in commit #20413, where the `clean_dist` function
was missed from refactoring to the new "files" format.
---
 Ports/.port_include.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh
index 0b4cac92f2..f9fa23a819 100755
--- a/Ports/.port_include.sh
+++ b/Ports/.port_include.sh
@@ -422,7 +422,8 @@ clean() {
 }
 clean_dist() {
     for f in "${files[@]}"; do
-        read url filename hash <<< $(echo "$f")
+        read url hash <<< "$f"
+        filename=$(basename "$url")
         rm -f "${PORT_META_DIR}/${filename}"
     done
 }