projects
/
m6w6
/
pecl-ci
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
|
github
raw
|
patch
| inline |
side by side
(parent:
79de9c8
)
us1 mirror is disabled since Nov 2017
author
Michael Wallner
<mike@php.net>
Mon, 8 Jan 2018 12:05:09 +0000
(13:05 +0100)
committer
Michael Wallner
<mike@php.net>
Mon, 8 Jan 2018 12:05:09 +0000
(13:05 +0100)
Makefile
patch
|
blob
|
history
diff --git
a/Makefile
b/Makefile
index 93caffb1843b2388d82a819506546c1ffb0427bd..0e161c81a93ebb6199aadbe5f8ded9b0cfc91d37 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-2,7
+2,7
@@
export
PHP ?= 5.6
JOBS ?= 2
-PHP_MIRROR ?= http://us
1
.php.net/distributions/
+PHP_MIRROR ?= http://us
2
.php.net/distributions/
TMPDIR ?= /tmp
tmpnam := $(TMPDIR)/php-$(PHP)-$(shell env |grep -E '^with_|^enable_' | tr -c '[a-zA-Z_]' -)