summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2019-02-23 10:38:09 -0500
committermidipix <writeonce@midipix.org>2019-02-23 10:39:21 -0500
commitb2532d25538e71a008d1f1744a12bc3ea7683044 (patch)
tree8ffd510180d75d8c7f532674791b805ae4c0f250 /configure
parent113d3fcaa8e7c14c65e8b45e0ab1baf93cb030a8 (diff)
downloadmdso-b2532d25538e71a008d1f1744a12bc3ea7683044.tar.bz2
mdso-b2532d25538e71a008d1f1744a12bc3ea7683044.tar.xz
build system: configure: make --all-shared and --all-static mutually exclusive.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index 7e2b90d..2e9cde6 100755
--- a/configure
+++ b/configure
@@ -620,9 +620,11 @@ for arg ; do
# config
--all-static)
mb_all_static=yes
+ mb_all_shared=no
;;
--all-shared)
mb_all_shared=yes
+ mb_all_static=no
;;
--disable-frontend)
mb_disable_frontend=yes