summaryrefslogtreecommitdiff
path: root/config/cc/gcc.in.2
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-07-28 21:55:10 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-07-28 21:55:10 (GMT)
commit8bb436dad16d1157121c29b35fa95f40b0c08250 (patch)
tree7c754c584b8b9c030a588d32690d71e29be8c6ba /config/cc/gcc.in.2
parent61ebaa97cae48a4f37d4272426c9c85c3cd462cb (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/cc/gcc.in.2')
-rw-r--r--config/cc/gcc.in.214
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.