summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Dimov <pdimov@pdimov.com>2017-06-30 19:08:41 +0300
committerGitHub <noreply@github.com>2017-06-30 19:08:41 +0300
commitc179d3c862bfda02e687f4a71549a29f62bd5719 (patch)
tree053c702c45295e72f66365b8306a7201f1b1eb10
parentf57016e86aa1079cf9f4d4885f139a8785dc4a12 (diff)
downloadboost-pdimov-patch-1.tar.gz
Skip link=shared, runtime_link=static instead of aborting the buildpdimov-patch-1
-rw-r--r--Jamroot13
1 files changed, 9 insertions, 4 deletions
diff --git a/Jamroot b/Jamroot
index d521e5eb5a..e81456cc1b 100644
--- a/Jamroot
+++ b/Jamroot
@@ -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 ;
}
}