configure: fail if an option is requested but not available
commit8c96313bf25843f87980fbeb0e9dc860c799d475
authorrofl0r <rofl0r@users.noreply.github.com>
Wed, 27 Jan 2021 03:04:23 +0000 (27 03:04 +0000)
committerrofl0r <rofl0r@users.noreply.github.com>
Wed, 27 Jan 2021 03:04:23 +0000 (27 03:04 +0000)
treecda388edfbb8fb17cca41f8eac46ff480e806e3b
parent3ec7d87e9f76fbf097917508c9531521c6c3ea06
configure: fail if an option is requested but not available
configure