configure: Ignore plugins without Makefile.

Signed-off-by: Eduardo Silva <edsiper@gmail.com>

diff --git a/configure b/configure
index 1d00525..d9c97a3 100755 (executable)
--- a/configure
+++ b/configure
@@ -466,6 +466,10 @@ create_makefile_plugins()
         disabled=`echo $disabled_plugins | grep -w $plugin_dir`
         disabled=$?
 
+        if test ! -e $plugin_dir/Makefile -a ! -e $plugin_dir/Makefile.in ; then
+                continue
+        fi
+
         comment="    "
        if test -e $plugin_dir/DISABLED || [ $disabled -eq 0 ] ; then
             if [ $enabled -eq 1 ] ; then