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)
commitbfc1e6ecfbc73e021cd452f342257e351997d5c5
tree3a8e425276ad3f9ded76eb32b8317c75850d78a0
parent3f32c9f45f15e329d1751cdb58cd411a3a5adfcd
use a distinct prefix per job
Makefile