use another build dir
authorMichael Wallner <mike@php.net>
Fri, 2 Mar 2018 20:18:31 +0000 (21:18 +0100)
committerMichael Wallner <mike@php.net>
Fri, 2 Mar 2018 20:18:31 +0000 (21:18 +0100)
commitb6683bb97ca8618dacf7d101e5844d1bb1b2838a
tree3f52105d4718ade6fc03cdf397dac5d7f95b2911
parenta8cc62c5de13033c59aa13af19a0f7dd54b5596b
use another build dir
Makefile