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/make | |
| 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/make')
| -rwxr-xr-x | Ports/make/package.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Ports/make/package.sh b/Ports/make/package.sh index 94f395056f..444b7ccba7 100755 --- a/Ports/make/package.sh +++ b/Ports/make/package.sh @@ -3,7 +3,7 @@ port=make version=4.3 useconfigure=true use_fresh_config_sub=true -config_sub_path=build-aux/config.sub +config_sub_paths=("build-aux/config.sub") files="https://ftpmirror.gnu.org/gnu/make/make-${version}.tar.gz make-${version}.tar.gz https://ftpmirror.gnu.org/gnu/make/make-${version}.tar.gz.sig make-${version}.tar.gz.sig https://ftpmirror.gnu.org/gnu/gnu-keyring.gpg gnu-keyring.gpg" |