Fix bug #3721 ‘Fails to build in Debian kfreebsd-*’
authorRicardo Mones <ricardo@mones.org>
Thu, 1 Jun 2017 10:27:15 +0000 (12:27 +0200)
committerRicardo Mones <ricardo@mones.org>
Thu, 1 Jun 2017 10:27:15 +0000 (12:27 +0200)
commitb7157747860b26cbb69295a4cc62a2493bd1d7e2
treec9f1796f7df0ac46c7f96fb427738f0d4695156f
parentd661fd7233e971a190b54ef3fa1dac1861f44833
Fix bug #3721 ‘Fails to build in Debian kfreebsd-*’
configure.ac