fix bashisms in configure
authorMichael Wallner <mike@php.net>
Thu, 14 Apr 2016 12:01:38 +0000 (14:01 +0200)
committerMichael Wallner <mike@php.net>
Thu, 14 Apr 2016 12:01:38 +0000 (14:01 +0200)

No differences found