Regenerated: autoconf configure.in

diff --git a/configure b/configure
index e3e787e2205463d981b3943e5052c03337af9e8d..d053ceb801110f16d48e788cbcfdb00985e31563 100755 (executable)
--- a/configure
+++ b/configure
@@ -685,7 +685,7 @@ if test "${enable_add_ons+set}" = set; then
   enableval="$enable_add_ons"
   case "$enableval" in
     yes) if test "$srcdir" = "."; then
-          add_ons=`echo */configure | sed -e 's!/configure$!!g'`;;
+          add_ons=`echo */configure | sed -e 's!/configure$!!g'`
         else
           add_ons=`echo $srcdir/*/configure | \
                    sed -e "s!^$srcdir/!!g" -e 's!/configure$!!g'`