Bug fix for code coverage script. make coverage_init is not part of make all any more, as a clean checkout would fail to build.
Bug fix for code coverage script. make coverage_init is not part of make all any more, as a clean checkout would fail to build.

brics/brics_3d,brics/brics_3d