diff options
author | Peter Dimov <pdimov@pdimov.com> | 2017-07-05 18:22:06 +0300 |
---|---|---|
committer | Rene Rivera <grafikrobot@gmail.com> | 2017-07-05 10:22:06 -0500 |
commit | f08e6678a0e20a0dd2dde6911a1d2a29b654ae2e (patch) | |
tree | f612897afea7c5c27db192ea5603753f081a23df /Jamroot | |
parent | 4a9eff71a0623f8e5d883633823c5aec788b18f8 (diff) | |
download | boost-f08e6678a0e20a0dd2dde6911a1d2a29b654ae2e.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
@@ -201,10 +201,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 ; } } |