diff options
author | Peter Dimov <pdimov@pdimov.com> | 2017-07-05 18:22:06 +0300 |
---|---|---|
committer | Peter Dimov <pdimov@pdimov.com> | 2017-09-10 14:22:29 +0300 |
commit | 864b3ef6e7ac90cac53bae580b3bef56da4ea522 (patch) | |
tree | 63f717581fff2cbbc19d86097302c36bba3f285b /Jamroot | |
parent | ebfd5d793b07f2b7dcdeee0fcf6cc81e9b5ab3d1 (diff) | |
download | boost-864b3ef6e7ac90cac53bae580b3bef56da4ea522.tar.gz |
Skip link=shared, runtime_link=static instead of aborting the build (#145)
Diffstat (limited to 'Jamroot')
-rw-r--r-- | Jamroot | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -197,10 +197,15 @@ rule handle-static-runtime ( properties * ) if <link>shared in $(properties) && <runtime-link>static in $(properties) && ! ( <toolset>cw in $(properties) ) { - ECHO "error: link=shared together with runtime-link=static is not allowed" ; - ECHO "error: such property combination is either impossible " ; - ECHO "error: or too dangerious to be of any use" ; - EXIT ; + if ! $(.shared-static-warning-emitted) + { + ECHO "warning: skipping configuration link=shared, runtime-link=static" ; + ECHO "warning: this combination is either impossible or too dangerous" ; + ECHO "warning: to be of any use" ; + .shared-static-warning-emitted = 1 ; + } + + return <build>no ; } } |