diff options
| author | Brendan Coles <bcoles@gmail.com> | 2021-04-15 06:59:01 +0000 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-04-15 09:30:42 +0200 |
| commit | 62ced35346f8a58df895bc9bed25cb076b5a920a (patch) | |
| tree | 33268467a0a681f47ebcb80da3033c7af67b54f7 /Ports/grep/package.sh | |
| parent | b2c952a6fa507ed708edf3d399c91bfcaf9215c7 (diff) | |
| download | serenity-62ced35346f8a58df895bc9bed25cb076b5a920a.zip | |
Ports: Use ftpmirror.gnu.org mirror server for GNU ports
Diffstat (limited to 'Ports/grep/package.sh')
| -rwxr-xr-x | Ports/grep/package.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Ports/grep/package.sh b/Ports/grep/package.sh index 8801f38d72..4b7d3f3449 100755 --- a/Ports/grep/package.sh +++ b/Ports/grep/package.sh @@ -1,9 +1,9 @@ #!/usr/bin/env -S bash ../.port_include.sh port=grep version=2.5.4 -files="https://ftp.gnu.org/gnu/grep/grep-${version}.tar.gz grep-${version}.tar.gz -https://ftp.gnu.org/gnu/grep/grep-${version}.tar.gz.sig grep-${version}.tar.gz.sig -https://ftp.gnu.org/gnu/gnu-keyring.gpg gnu-keyring.gpg" +files="https://ftpmirror.gnu.org/gnu/grep/grep-${version}.tar.gz grep-${version}.tar.gz +https://ftpmirror.gnu.org/gnu/grep/grep-${version}.tar.gz.sig grep-${version}.tar.gz.sig +https://ftpmirror.gnu.org/gnu/gnu-keyring.gpg gnu-keyring.gpg" useconfigure=true configopts=--disable-perl-regexp |