us1 mirror is disabled since Nov 2017
authorMichael Wallner <mike@php.net>
Mon, 8 Jan 2018 12:05:09 +0000 (13:05 +0100)
committerMichael Wallner <mike@php.net>
Mon, 8 Jan 2018 12:05:09 +0000 (13:05 +0100)
Makefile

index 93caffb1843b2388d82a819506546c1ffb0427bd..0e161c81a93ebb6199aadbe5f8ded9b0cfc91d37 100644 (file)
--- 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_]' -)