diff options
author | Dmitry Pankratov <dp@ubiquitech.com> | 2016-10-01 20:43:56 (GMT) |
---|---|---|
committer | Dmitry Pankratov <dp@ubiquitech.com> | 2016-10-01 20:43:56 (GMT) |
commit | 34ca68e3b076f4a7eea78aa46215fa50dfb1e322 (patch) | |
tree | 2d8f667a234d6ea577ebb1435f18db60eec3805b /config/debug/duma.in | |
parent | 11b20626b0d33624249f2609177f768a39cb70cf (diff) | |
parent | 531eab4c5650c7d51fa1c527c370b690ac50a8ab (diff) |
Merge branch 'master' of https://github.com/crosstool-ng/crosstool-ng
Diffstat (limited to 'config/debug/duma.in')
-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 |