Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[configure] 'fullcover_new' make target replaces 'cover'
The 'fullcover_new' target reproduces the 'fullcover' target but uses tools/dev/make_cover.pl to run the coverage tools (gcov, cover, etc.). This is much more flexible and easier to maintain than shell code within the makefile. Further, the old 'fullcover' target didn't make use of the predefined variables set by 'perl Configure.pl', which make_cover.pl does. Also, a temporary directory is used by make_cover.pl for the coverage tools' output which replaces the current behaviour of putting everything in the base build directory. Also, the old 'fullcover' target actually covered more files than it was asked to and other files were repeatedly covered; this change corrects this behaviour, however means that one has to be very explicit about which directories need to be considered.
- Loading branch information