commit 3c92144280867e5086fd4697c0b60ecaa5301abd
author Johann <johannkoenig@google.com> Thu Dec 17 16:51:59 2015 -0800
committer Johann <johannkoenig@google.com> Thu Dec 17 17:00:19 2015 -0800
tree 89c83a3a008e0c17bee3d611e788e4b9e37e41cd
parent 685a6b602b454902188389da37c6f64ca0e15ac5

Remove unused stdint.h check

https://bugs.chromium.org/p/webm/issues/detail?id=1119

Change-Id: I88891d9f0be29ac6f845d2b470e5735dad16e693

configure

diff --git a/configure b/configure
index f12779c..4feb120 100755
--- a/configure
+++ b/configure
@@ -260,7 +260,6 @@
 HAVE_LIST="
     ${ARCH_EXT_LIST}
     vpx_ports
-    stdint_h
     pthread_h
     sys_mman_h
     unistd_h
@@ -545,14 +544,11 @@
             # Specialize windows and POSIX environments.
             case $toolchain in
                 *-win*-*)
-                    case $header-$toolchain in
-                        stdint*-gcc) true;;
-                        *) false;;
-                    esac && enable_feature $var
-                    ;;
+                    # Don't check for any headers in Windows builds.
+                    false
+                ;;
                 *)
                     case $header in
-                        stdint.h) true;;
                         pthread.h) true;;
                         sys/mman.h) true;;
                         unistd.h) true;;
@@ -570,7 +566,6 @@
 int main(void) {return 0;}
 EOF
     # check system headers
-    check_header stdint.h
     check_header pthread.h
     check_header sys/mman.h
     check_header unistd.h # for sysconf(3) and friends.