diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-07-28 21:55:10 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2010-07-28 21:55:10 (GMT) |
commit | 8bb436dad16d1157121c29b35fa95f40b0c08250 (patch) | |
tree | 7c754c584b8b9c030a588d32690d71e29be8c6ba /config | |
parent | 61ebaa97cae48a4f37d4272426c9c85c3cd462cb (diff) |
cc/gcc: add option to enable/disable libmudflap
For some scenarii, libmudflap is not very usefull
or can break the build. Make in an optioon that
defaults to 'N' to be on the safe side.
For the core gcc-s, there is absolutely no need
to build libmidflap.
Idea from: Bernhard Pfund <bernhard@chapter7.ch>
Diffstat (limited to 'config')
-rw-r--r-- | config/cc/gcc.in.2 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/config/cc/gcc.in.2 b/config/cc/gcc.in.2 index 33cbbc5..d682769 100644 --- a/config/cc/gcc.in.2 +++ b/config/cc/gcc.in.2 @@ -51,3 +51,17 @@ config CC_GCC_SJLJ_EXCEPTIONS 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. |