diff options
author | midipix <writeonce@midipix.org> | 2019-02-23 10:38:09 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-02-23 10:39:21 -0500 |
commit | b2532d25538e71a008d1f1744a12bc3ea7683044 (patch) | |
tree | 8ffd510180d75d8c7f532674791b805ae4c0f250 | |
parent | 113d3fcaa8e7c14c65e8b45e0ab1baf93cb030a8 (diff) | |
download | mdso-b2532d25538e71a008d1f1744a12bc3ea7683044.tar.bz2 mdso-b2532d25538e71a008d1f1744a12bc3ea7683044.tar.xz |
build system: configure: make --all-shared and --all-static mutually exclusive.
-rwxr-xr-x | configure | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |