From: Michael Wallner Date: Mon, 8 Jan 2018 12:05:09 +0000 (+0100) Subject: us1 mirror is disabled since Nov 2017 X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=05f5e23f9c6a3d588675f0387c882af1f57c0e4e;p=m6w6%2Fpecl-ci us1 mirror is disabled since Nov 2017 --- diff --git a/Makefile b/Makefile index 93caffb..0e161c8 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,7 @@ export PHP ?= 5.6 JOBS ?= 2 -PHP_MIRROR ?= http://us1.php.net/distributions/ +PHP_MIRROR ?= http://us2.php.net/distributions/ TMPDIR ?= /tmp tmpnam := $(TMPDIR)/php-$(PHP)-$(shell env |grep -E '^with_|^enable_' | tr -c '[a-zA-Z_]' -)