diff options
Diffstat (limited to 'Jamroot.jam')
| -rw-r--r-- | Jamroot.jam | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jamroot.jam b/Jamroot.jam index 5403aed..0e0b273 100644 --- a/Jamroot.jam +++ b/Jamroot.jam @@ -18,6 +18,7 @@ project <variant>debug:<warnings>extra <variant>debug:<warnings-as-errors>on <variant>debug:<cflags>-Wnon-virtual-dtor + <variant>debug:<cflags>-Woverloaded-virtual <variant>coverage:<coverage>on <toolset>tidy:<checkxx>boost-* <toolset>tidy:<checkxx>bugprone-* |