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:27 -0500
commitc8f9105dd3f34961c0546db3737efadec2d9f825 (patch)
treeb9797babcb3d136d07011bcee77fbba05ed69830 /configure
parent9c9c883274e5a50498093f69f431c90b2ef342f0 (diff)
downloadu16ports-c8f9105dd3f34961c0546db3737efadec2d9f825.tar.bz2
u16ports-c8f9105dd3f34961c0546db3737efadec2d9f825.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