configure: Rename require_header() --> require_headers()

Message ID 20180425103301.4168-1-diego@biurrun.de
State Committed
Commit ad5bbc408637cffd4cc2ba990abef529cf5fa6a3
Headers show
Series
  • configure: Rename require_header() --> require_headers()
Related show

Commit Message

Diego Biurrun April 25, 2018, 10:33 a.m.
This renaming was overlooked in the previous check_header() rename.
---

Gosh, I had this in my branch ready for squashing and then forgot to
actually squash it before sending the check_header() rename .. m(

 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

Comments

Luca Barbato April 26, 2018, 9:24 a.m. | #1
On 25/04/2018 12:33, Diego Biurrun wrote:
> This renaming was overlooked in the previous check_header() rename.
> ---
> 
> Gosh, I had this in my branch ready for squashing and then forgot to
> actually squash it before sending the check_header() rename .. m(
> 
>  configure | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/configure b/configure
> index 848fe4881f..f5e7f1578c 100755
> --- a/configure
> +++ b/configure
> @@ -1184,8 +1184,8 @@ require_cc(){
>      check_cc "$@" || die "ERROR: $name failed"
>  }
>  
> -require_header(){
> -    log require_header "$@"
> +require_headers(){
> +    log require_headers "$@"
>      headers="$1"
>      check_headers "$@" || die "ERROR: $headers not found"
>  }
> 

Ok.

Patch

diff --git a/configure b/configure
index 848fe4881f..f5e7f1578c 100755
--- a/configure
+++ b/configure
@@ -1184,8 +1184,8 @@  require_cc(){
     check_cc "$@" || die "ERROR: $name failed"
 }
 
-require_header(){
-    log require_header "$@"
+require_headers(){
+    log require_headers "$@"
     headers="$1"
     check_headers "$@" || die "ERROR: $headers not found"
 }