--- configure	2009-07-28 17:01:30.000000000 +0200
+++ configure	2010-01-03 00:00:00.000000000 +0100
@@ -2020,6 +2020,7 @@
 fi
 
 echo "$ac_t""$wi_cv_shared_libgcc" 1>&6
+if false; then
 	if test "$wi_cv_shared_libgcc" != no ; then
 		
 	if test "x$ac_cv_prog_gcc" = "xyes" ; then
@@ -2100,6 +2101,7 @@
 	fi
 
 	fi
+fi
 
 	add_O0="no"
 	if [ "$NOOPTCFLAGS" = "" ] ; then
@@ -3149,6 +3151,7 @@
 fi
 
 echo "$ac_t""$wi_cv_shared_libgcc" 1>&6
+if false; then
 	if test "$wi_cv_shared_libgcc" != no ; then
 		
 	if test "x$ac_cv_prog_gcc" = "xyes" ; then
@@ -3229,6 +3232,7 @@
 	fi
 
 	fi
+fi
 
 	add_O0="no"
 	if [ "$NOOPTCFLAGS" = "" ] ; then