configure: fix libtool
authorMichael Wallner <mike@php.net>
Mon, 6 Jan 2020 11:07:54 +0000 (12:07 +0100)
committerMichael Wallner <mike@php.net>
Mon, 6 Jan 2020 11:07:54 +0000 (12:07 +0100)
commit00ce081cdb5bcb602d6303dcf691d981ec8926e0
treeb9a1825e0a30675d6bc39632be47f4f6c3236ded
parentd169e8c62f8ca4fe7d058d8e2254426105032b7e
configure: fix libtool
configure.ac