[FFmpeg-cvslog] configure: more properly disable header when check_header_oc() fails

[Michael Niedermayer]

ffmpeg | branch: master | Michael Niedermayer <michaelni at gmx.at> | Sat Apr  5 13:29:28 2014 +0200| [323c049c7e43cb610e3c5ffbe09fc46278808ad5] | committer: Michael Niedermayer

configure: more properly disable header when check_header_oc() fails

This should make no difference currently

Signed-off-by: Michael Niedermayer <michaelni at gmx.at>

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

 configure |    1 +
 1 file changed, 1 insertion(+)

diff --git a/configure b/configure
index 1098fe6..5ca69c4 100755
--- a/configure
+++ b/configure
@@ -947,6 +947,7 @@ check_header_oc(){
     log check_header_oc "$@"
     header=$1
     shift
+    disable_safe $header
     {
        echo "#include <$header>"
        echo "int main(void) { return 0; }"