diff options
| author | Tim Schumacher <timschumi@gmx.de> | 2022-05-25 12:51:13 +0200 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2022-05-25 22:54:04 +0100 |
| commit | f81e47eea8110b6f0751f99812930478b4ee0763 (patch) | |
| tree | d3f1412fb95b3f7382dff8efaf5c7e9b006a1b28 /Ports/indent/package.sh | |
| parent | ff90647958fd909797950ad2d86f3f85b1867560 (diff) | |
| download | serenity-f81e47eea8110b6f0751f99812930478b4ee0763.zip | |
Ports: Allow selecting multiple `config_{sub,guess}_path`s
Some ports may have more than one `config.sub` that is in use (vendored
dependencies, etc.). Instead of fiddling about with space-delimited
strings, let's just make that setting into an array right away.
Diffstat (limited to 'Ports/indent/package.sh')
| -rwxr-xr-x | Ports/indent/package.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ports/indent/package.sh b/Ports/indent/package.sh index 5f58bc8fb4..8fb93dfed5 100755 --- a/Ports/indent/package.sh +++ b/Ports/indent/package.sh @@ -6,7 +6,7 @@ https://ftpmirror.gnu.org/gnu/indent/indent-${version}.tar.gz.sig indent-${versi https://ftpmirror.gnu.org/gnu/gnu-keyring.gpg gnu-keyring.gpg" useconfigure=true use_fresh_config_sub=true -config_sub_path=config/config.sub +config_sub_paths=("config/config.sub") auth_type="sig" auth_opts=("--keyring" "./gnu-keyring.gpg" "indent-${version}.tar.gz.sig") |