From f9cf6bfce1ea838ff88ce21164c1dbf9f0e78580 Mon Sep 17 00:00:00 2001
From: Linus Groh <mail@linusgroh.de>
Date: Thu, 11 Mar 2021 20:23:28 +0100
Subject: Ports: Remove redundant 'workdir' entries

---
 Ports/ninja/package.sh | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Ports/ninja')

diff --git a/Ports/ninja/package.sh b/Ports/ninja/package.sh
index 744ca5d65e..abec0f40ec 100755
--- a/Ports/ninja/package.sh
+++ b/Ports/ninja/package.sh
@@ -1,7 +1,6 @@
 #!/usr/bin/env -S bash ../.port_include.sh
 port=ninja
 version=1.8.2
-workdir="ninja-${version}"
 files="https://github.com/ninja-build/ninja/archive/v${version}.tar.gz ninja-v${version}.tar.gz"
 
 build() {
-- 
cgit v1.2.3