diff options
| author |   Alexey Neyman <stilor@att.net> | 2017-01-30 20:48:47 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2017-01-30 20:48:47 (GMT) |
| commit | 1baddb19ee04bc5e7603cc147f5800f2ecfa944f (patch) | |
| tree | 9e0811fe3d61890d5db3c1e371b921e57915ba79 /config | |
| parent | 51bedaf27e5ead5a237acde9944d14342d44d031 (diff) | |
| parent | c83335c5a3cde721661c347a3d8e9cfdbd1db007 (diff) | |
Merge pull request #567 from stilor/fix-build-manuals
Fix build manuals
Diffstat (limited to 'config')
| -rw-r--r-- | config/debug/duma.in | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/config/debug/duma.in b/config/debug/duma.in index 5f08087..9947ca2 100644 --- a/config/debug/duma.in +++ b/config/debug/duma.in @@ -7,17 +7,18 @@ ## help A memory bound checker, with additional features. ## help Formerly known as Electric Fence. -config DUMA_A - bool - prompt "Build a static library" - default y - config DUMA_SO bool prompt "Build a shared library" depends on SHARED_LIBS default y +config DUMA_CUSTOM_WRAPPER + bool + prompt "Install custom D.U.M.A wrapper" + default y + depends on DUMA_SO + choice bool prompt "D.U.M.A. version" |