--- /tmp/configure	2007-06-02 09:26:29.000000000 +0200
+++ gcc-4.0.2/libstdc++-v3/configure	2007-06-02 09:26:40.135215000 +0200
@@ -101472,7 +101472,6 @@
 _ACEOF
 
 fi
-done
 
   fi