diff options
| author | Linus Groh <mail@linusgroh.de> | 2021-03-11 20:23:28 +0100 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-03-13 13:13:03 +0100 |
| commit | f9cf6bfce1ea838ff88ce21164c1dbf9f0e78580 (patch) | |
| tree | 7ed05edd185b52fced0767261babb6024f5abf50 /Ports/ninja | |
| parent | 37f837bde7a56b449be2d7225d5bcf8d03c4b632 (diff) | |
| download | serenity-f9cf6bfce1ea838ff88ce21164c1dbf9f0e78580.zip | |
Ports: Remove redundant 'workdir' entries
Diffstat (limited to 'Ports/ninja')
| -rwxr-xr-x | Ports/ninja/package.sh | 1 |
1 files changed, 0 insertions, 1 deletions
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() { |