From bfc1e6ecfbc73e021cd452f342257e351997d5c5 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Fri, 31 Jul 2015 08:56:31 +0200
Subject: [PATCH] use a distinct prefix per job

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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)))
-- 
2.30.2