ffmpeg | branch: master | Diego Biurrun <di...@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" } _______________________________________________ ffmpeg-cvslog mailing list ffmpeg-cvslog@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-cvslog
