diff options
author | midipix <writeonce@midipix.org> | 2019-02-23 10:38:09 -0500 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2019-02-23 10:39:24 -0500 |
commit | 9ecf7e9ca0d1f5340c2da0e732fdac6a9ebd066f (patch) | |
tree | 585f7bb94b1dceaa728c7ea96ecea710938e5bc0 /configure | |
parent | 279e96f9fbd862d6112be267e745602c256026c6 (diff) | |
download | pemagine-9ecf7e9ca0d1f5340c2da0e732fdac6a9ebd066f.tar.bz2 pemagine-9ecf7e9ca0d1f5340c2da0e732fdac6a9ebd066f.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 |