[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