# HG changeset patch
# User cehoyos
# Date 1349770523 0
# Node ID 86a1ffaac376856bbc3866834700fab37d50ea77
# Parent  1accad6855635cbb9ada13cd462ba299e0695b9d
Fix compilation with current FFmpeg.

diff -r 1accad685563 -r 86a1ffaac376 configure
--- a/configure	Mon Oct 08 15:35:03 2012 +0000
+++ b/configure	Tue Oct 09 08:15:23 2012 +0000
@@ -8869,6 +8869,7 @@
 #define CONFIG_AVSERVER 0
 #define CONFIG_FASTDIV 0
 #define CONFIG_FFSERVER 0
+#define CONFIG_FTRAPV 0
 #define CONFIG_GNUTLS 0
 #define CONFIG_GPL 1
 #define CONFIG_GRAY 0