Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/boostorg/boost.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Dimov <pdimov@pdimov.com>2017-07-05 18:22:06 +0300
committerPeter Dimov <pdimov@pdimov.com>2017-09-10 14:22:29 +0300
commit864b3ef6e7ac90cac53bae580b3bef56da4ea522 (patch)
tree63f717581fff2cbbc19d86097302c36bba3f285b /Jamroot
parentebfd5d793b07f2b7dcdeee0fcf6cc81e9b5ab3d1 (diff)
Skip link=shared, runtime_link=static instead of aborting the build (#145)
Diffstat (limited to 'Jamroot')
-rw-r--r--Jamroot13
1 files changed, 9 insertions, 4 deletions
diff --git a/Jamroot b/Jamroot
index fc05900b25..2efc5f4e4e 100644
--- a/Jamroot
+++ b/Jamroot
@@ -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 ;
}
}