Let 'make' process all code coverage, even if errors occur.
Synching local from master

There is an odd conflict in a jenkins file I don't remember touching.
Revert changes introduced by 8d23ff8618133ebae3df897aade799434bc570cc