configure: Extend check_header() to allow checking for multiple headers
authorDiego Biurrun <diego@biurrun.de>
Wed, 4 Oct 2017 00:03:53 +0000 (02:03 +0200)
committerDiego Biurrun <diego@biurrun.de>
Thu, 12 Oct 2017 18:04:17 +0000 (20:04 +0200)
commit62d5b5a9d3b0181335072d6fa792f2d805bc27b6
tree2723e964c143308dde8e07fc47e34f2f5110e4b6
parentb46900914a1f25ce8dbf49d7c53766ff1f18b60f
configure: Extend check_header() to allow checking for multiple headers

Also use that new capability to simplify bktr header checks.
configure