Commit 0d816a1a2edb93fd874b8f4028d8d4e23e8cc92b

Steffen Jaeckel 2015-04-26T16:57:42

makefile: include timing in coverage creation