# HG changeset patch
# User pl
# Date 1009563263 0
# Node ID 0fdab5847f7659821ff9fb9f83f072075eca6d6a
# Parent  6659db99f2002e8dbd4967846e37a61bc079e92b
fixes a problem with undefined types (harmless anyway)

diff -r 6659db99f200 -r 0fdab5847f76 configure
--- a/configure	Fri Dec 28 18:03:03 2001 +0000
+++ b/configure	Fri Dec 28 18:14:23 2001 +0000
@@ -2439,6 +2439,7 @@
  if test "$_tv" = yes && linux ; then
   if test -c /dev/video0 || test -c /dev/video ; then
     cat > $TMPC <<EOF
+#include <stdlib.h>
 #include <linux/videodev.h>
 int main(void) { return 0; }
 EOF