diff -r d1f70bef45ba -r efb1058baa31 config/cc/gcc.in.2
--- a/config/cc/gcc.in.2	Wed Jul 28 23:53:09 2010 +0200
+++ b/config/cc/gcc.in.2	Wed Jul 28 23:55:10 2010 +0200
@@ -51,3 +51,17 @@
       
       It can happen that ./configure is wrong in some cases. Known
       case is for ARM big endian, where you should say 'N'.
+
+config CC_GCC_LIBMUDFLAP
+    bool
+    prompt "Compile libmudflap"
+    default n
+    help
+      libmudflap is a pointer-use checking tool, which can detect
+      various mis-usages of pointers in C and (to some extents) C++.
+      
+      You should say 'N' here, as libmduflap generates instrumented
+      code (thus it is a bit bigger and a bit slower) and requires
+      re-compilation and re-link, while it exists better run-time
+      alternatives (eg. DUMA, dmalloc...) that need neither re-
+      compilation nor re-link.