config/cc/gcc.in.2
changeset 2043 efb1058baa31
parent 2042 d1f70bef45ba
child 2045 fdaa6c7f6dea
     1.1 --- a/config/cc/gcc.in.2	Wed Jul 28 23:53:09 2010 +0200
     1.2 +++ b/config/cc/gcc.in.2	Wed Jul 28 23:55:10 2010 +0200
     1.3 @@ -51,3 +51,17 @@
     1.4        
     1.5        It can happen that ./configure is wrong in some cases. Known
     1.6        case is for ARM big endian, where you should say 'N'.
     1.7 +
     1.8 +config CC_GCC_LIBMUDFLAP
     1.9 +    bool
    1.10 +    prompt "Compile libmudflap"
    1.11 +    default n
    1.12 +    help
    1.13 +      libmudflap is a pointer-use checking tool, which can detect
    1.14 +      various mis-usages of pointers in C and (to some extents) C++.
    1.15 +      
    1.16 +      You should say 'N' here, as libmduflap generates instrumented
    1.17 +      code (thus it is a bit bigger and a bit slower) and requires
    1.18 +      re-compilation and re-link, while it exists better run-time
    1.19 +      alternatives (eg. DUMA, dmalloc...) that need neither re-
    1.20 +      compilation nor re-link.