diff options
author | midipix <writeonce@midipix.org> | 2019-02-23 10:38:09 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-02-23 10:39:28 -0500 |
commit | 870161cb5a1bc44f12b101d28bf0306ef15f5ffa (patch) | |
tree | b4a1e6419f6a593796ade185679dad5b9e300305 /configure | |
parent | 4b04d8388cbd8602b35017caa609fd01ae958e1c (diff) | |
download | w32lib-870161cb5a1bc44f12b101d28bf0306ef15f5ffa.tar.bz2 w32lib-870161cb5a1bc44f12b101d28bf0306ef15f5ffa.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 |