fix ptrdiff_t and _GNU_SOURCE detection
authorMichael Wallner <mike@php.net>
Wed, 23 Nov 2016 14:45:53 +0000 (14:45 +0000)
committerMichael Wallner <mike@php.net>
Wed, 23 Nov 2016 14:45:53 +0000 (14:45 +0000)
commit6864dd48391d1e98959ac13d5a0914693b4f1d0f
tree5b54f56dd5e86b43294811b37f70695c124e2ab1
parent6606de9915d219a59ad5d6cad531d8dd50946876
fix ptrdiff_t and _GNU_SOURCE detection
config.m4
m4/posix/stddef.m4
m4/psi/psi.m4