use a distinct prefix per job
authorMichael Wallner <mike@php.net>
Fri, 31 Jul 2015 06:56:31 +0000 (08:56 +0200)
committerMichael Wallner <mike@php.net>
Fri, 31 Jul 2015 06:56:31 +0000 (08:56 +0200)
Makefile

index 201d530f8d9b1256c6862311c80c6d8ff62445ff..1bc8fefc523922c4dbf4d94eafd662c36bf5144e 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -5,6 +5,7 @@ JOBS ?= 2
 PHP_MIRROR ?= http://us1.php.net/distributions/
 
 prefix ?= $(HOME)
+prefix += /job-$(TRAVIS_JOB_NUMBER)
 exec_prefix ?= $(prefix)
 bindir = $(exec_prefix)/bin
 srcdir := $(dir $(word $(words $(MAKEFILE_LIST)),$(MAKEFILE_LIST)))