From: Michael Wallner <mike@php.net>
Date: Fri, 31 Jul 2015 06:56:31 +0000 (+0200)
Subject: use a distinct prefix per job
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=bfc1e6ecfbc73e021cd452f342257e351997d5c5;p=m6w6%2Ftravis-pecl

use a distinct prefix per job
---

diff --git a/Makefile b/Makefile
index 201d530..1bc8fef 100644
--- 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)))