diff options
Diffstat (limited to 'Jamfile.jam')
| -rw-r--r-- | Jamfile.jam | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jamfile.jam b/Jamfile.jam index 70cb0d6..51d9452 100644 --- a/Jamfile.jam +++ b/Jamfile.jam @@ -96,7 +96,7 @@ for CONFIG in $(CONFIGURATIONS) # add special autotest markers to build log
if $(autotest)
{
- COVPREFIX on $(TESTS)_coverage = "### autotest $(CONFIG) [$(DEFINESET)]" ;
+ COVPREFIX on $(TESTS)_coverage = "... autotest $(CONFIG) [$(DEFINESET)]" ;
}
# gather coverage after tests run
|