diff options
Diffstat (limited to 'Jamfile.jam')
| -rw-r--r-- | Jamfile.jam | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Jamfile.jam b/Jamfile.jam index 15a0e63..df8d5be 100644 --- a/Jamfile.jam +++ b/Jamfile.jam @@ -43,7 +43,15 @@ if ( $(toolset:I=^mingw) || $(toolset:I=^gcc) ) { CCFLAGS = -fprofile-arcs -ftest-coverage ; LDFLAGS = -fprofile-arcs ; - GCOVFLAGS = -n ; + + if $(fullcoverage) + { + GCOVFLAGS = --branch-probabilities --function-summaries ; + } + else + { + GCOVFLAGS = --no-output ; + } } # build folder |