mirrors are being retired
authorMichael Wallner <mike@php.net>
Fri, 29 Mar 2019 09:21:31 +0000 (10:21 +0100)
committerMichael Wallner <mike@php.net>
Fri, 29 Mar 2019 09:21:31 +0000 (10:21 +0100)
Makefile

index 3a34ec3a1ba08b0f069628445363f94469e2e8c4..2ccac0ff127512df00e8b031555fd9abe9df53e6 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
 export
 
-PHP ?= 7.2
+PHP ?= 7.3
 JOBS ?= 2
-PHP_MIRROR ?= http://us2.php.net/distributions/
+PHP_MIRROR ?= http://php.net/distributions/
 TMPDIR ?= /tmp
 
 makdir := $(dir $(word $(words $(MAKEFILE_LIST)),$(MAKEFILE_LIST)))