diff options
author | Peter Dimov <pdimov@pdimov.com> | 2017-06-30 19:08:41 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-30 19:08:41 +0300 |
commit | c179d3c862bfda02e687f4a71549a29f62bd5719 (patch) | |
tree | 053c702c45295e72f66365b8306a7201f1b1eb10 | |
parent | f57016e86aa1079cf9f4d4885f139a8785dc4a12 (diff) | |
download | boost-pdimov-patch-1.tar.gz |
Skip link=shared, runtime_link=static instead of aborting the buildpdimov-patch-1
-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 ; } } |