configure: Rename check_header() --> check_headers()
authorDiego Biurrun <diego@biurrun.de>
Tue, 13 Feb 2018 08:31:57 +0000 (09:31 +0100)
committerDiego Biurrun <diego@biurrun.de>
Fri, 20 Apr 2018 10:00:11 +0000 (12:00 +0200)
commit5cb62f9d952e24fff62737a57e89cf43d9c2333a
treecfbd7d1bb3324f0f2f2bca93768a600062d7be57
parent25c2a27c9ec0150210d75ee5ac8ed1bfa14c1a56
configure: Rename check_header() --> check_headers()

The plural in the name clarifies the fact that the function
can check for multiple headers at once.
configure