diff options
author | midipix <writeonce@midipix.org> | 2019-02-23 10:38:09 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-02-23 10:39:26 -0500 |
commit | 799358fe14f377c1c163b98706691cd46a11d57d (patch) | |
tree | 0917c7eae974da58a40ab5559c49178d3e926362 /configure | |
parent | 7d322b1e71380a6d66745d0098b75a19ab45411c (diff) | |
download | sbpython3-799358fe14f377c1c163b98706691cd46a11d57d.tar.bz2 sbpython3-799358fe14f377c1c163b98706691cd46a11d57d.tar.xz |
build system: configure: make --all-shared and --all-static mutually exclusive.
Diffstat (limited to 'configure')
-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 |