COVERAGE_EXTRA_FLAGS not respected when coverage is run from ctest script
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.
This issue was created automatically from an original Mantis Issue. Further discussion may take place here.