--- configure.old	2009-07-20 17:57:29.031000000 +0200
+++ configure	2009-07-20 17:58:01.583000000 +0200
@@ -13760,6 +13760,7 @@ if test "$ac_cs_awk_cr" = "a${ac_cr}b"; 
 else
   ac_cs_awk_cr=$ac_cr
 fi
+ac_cs_awk_cr=$ac_cr
 
 echo 'BEGIN {' >"$tmp/subs1.awk" &&
 _ACEOF