[FFmpeg-cvslog] configure: Rename require_header() --> require_headers()

Diego Biurrun git at videolan.org
Mon Sep 3 00:04:59 EEST 2018


ffmpeg | branch: master | Diego Biurrun <diego at biurrun.de> | Sun Apr  1 22:13:55 2018 +0200| [ad5bbc408637cffd4cc2ba990abef529cf5fa6a3] | committer: Diego Biurrun

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

This renaming was overlooked in the previous check_header() rename.

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=ad5bbc408637cffd4cc2ba990abef529cf5fa6a3
---

 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"
 }



More information about the ffmpeg-cvslog mailing list