diff options
author | Bryan Hundven <bryanhundven@gmail.com> | 2016-09-11 22:43:39 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-11 22:43:39 (GMT) |
commit | 290ae52db3cc086fdc3004f49ee6ecbf143ef313 (patch) | |
tree | cd45e5295120dad5a442dc762e71e38e3e04423d | |
parent | 55dd8d42886e675c9acf61257f925ca10ac7a414 (diff) | |
parent | 2885b0ea2a721b8ba663059e75188fc2b9c4dd62 (diff) |
Merge pull request #441 from kozyilmaz/duma
duma: add SHARED_LIBS dependency for DUMA shared library option
-rw-r--r-- | config/debug/duma.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/debug/duma.in b/config/debug/duma.in index 374339d..35f9e09 100644 --- a/config/debug/duma.in +++ b/config/debug/duma.in @@ -14,7 +14,8 @@ config DUMA_A config DUMA_SO bool prompt "Build a shared library" - default y if SHARED_LIBS + depends on SHARED_LIBS + default y choice bool |