# HG changeset patch
# User diego
# Date 1191842985 0
# Node ID 40ba35cab2a2e99941a9cd5c101ce676a079cbb9
# Parent  0ea4360749501c5701ec9fb770e20e1979d3bb93
Remove useless code, the same check is performed a few lines above.
patch by A Mennucc, mennucc1 debian org

diff -r 0ea436074950 -r 40ba35cab2a2 configure
--- a/configure	Mon Oct 08 11:19:10 2007 +0000
+++ b/configure	Mon Oct 08 11:29:45 2007 +0000
@@ -3831,13 +3831,9 @@
 
 if test "$_directfb" = yes ; then
   _def_directfb='#define HAVE_DIRECTFB 1'
-  if test "$_dfb_version" -ge `dfb_version 0 9 13`; then
     _vosrc="$_vosrc vo_directfb2.c"
     _vomodules="directfb $_vomodules"
     _libs_mplayer="$_libs_mplayer -ldirectfb"
-  else
-    _novomodules="directfb $_novomodules"
-  fi
 
   if test "$_dfb_version" -ge `dfb_version 0 9 15`; then
     _vosrc="$_vosrc vo_dfbmga.c"