config/companion_libs/ppl.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Wed Jul 28 23:55:10 2010 +0200 (2010-07-28) |
| changeset 2043 |
efb1058baa31 |
| parent 1386 |
7995942261f2
|
| child 2072 |
72b3996ba3e6 |
| permissions |
-rw-r--r-- |
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>