Index: configure --- configure.orig 2005-08-16 02:41:39 +0200 +++ configure 2005-10-14 08:57:12 +0200 @@ -4447,8 +4447,6 @@ ac_dest=`echo "$ac_file" | sed 's,:.*,,'` ac_source=`echo "$ac_file" | sed 's,[^:]*:,,'` - case $ac_dest in - esac done EOF