diff options
| author | Yann E. MORIN <[email protected]> | 2012-06-08 01:48:57 +0200 |
|---|---|---|
| committer | Michal Marek <[email protected]> | 2012-06-28 10:38:54 +0200 |
| commit | d5bfb6b3814b2c9cd83e9395a60fc4b4e42a242d (patch) | |
| tree | 91039e78c89964bdba0089b4c781ac8cf1a0ab27 /lib/mpi/mpi-internal.h | |
| parent | f5ef2f7bf2e389f5c94d69e09268356f4c2b8220 (diff) | |
scripts/config: add option to undef a symbol
It is currently possible to enable, disable or modularise
a symbol. Also, an undefined symbol is reported as such.
Add a new command to undefine a symbol, by removing the
corresponding line from the .config file.
Signed-off-by: "Yann E. MORIN" <[email protected]>
Signed-off-by: Michal Marek <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-internal.h')
0 files changed, 0 insertions, 0 deletions