diff options
| -rw-r--r-- | Jamrules.jam | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Jamrules.jam b/Jamrules.jam index d253a69..dc7ba35 100644 --- a/Jamrules.jam +++ b/Jamrules.jam @@ -39,7 +39,9 @@ if ( $(toolset:I=^mingw) || $(toolset:I=^gcc) ) RESULT += -Woverloaded-virtual -Wno-pmf-conversions -Wsign-promo -Wformat=2 -Winit-self -Wswitch-default ; RESULT += -Wunused -Wstrict-aliasing=2 -Wundef -Wshadow -Wredundant-decls ; - if ( $(toolset) != mingw34 ) + local REG_GCC44_PLUS = "(gcc|mingw)4.?[4-9]" ; + + if ( $(toolset:I=$(REG_GCC44_PLUS)) ) { RESULT += -Wstrict-null-sentinel -Wlogical-op -Wmissing-declarations ; } |