summaryrefslogtreecommitdiffhomepage
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:28 -0500
commit870161cb5a1bc44f12b101d28bf0306ef15f5ffa (patch)
treeb4a1e6419f6a593796ade185679dad5b9e300305
parent4b04d8388cbd8602b35017caa609fd01ae958e1c (diff)
downloadw32lib-870161cb5a1bc44f12b101d28bf0306ef15f5ffa.tar.bz2
w32lib-870161cb5a1bc44f12b101d28bf0306ef15f5ffa.tar.xz
build system: configure: make --all-shared and --all-static mutually exclusive.
-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