Commit d07425e6709362431f36b13029d0cf7ca3437aca
2016-01-13T23:23:19
'make coverage' create the same results for regular and shared makefile
'make coverage' create the same results for regular and shared makefile