genode/repos/libports/recipes/pkg/gcov
2021-05-10 11:18:12 +02:00
..
archives libports: add libgcov and gcov tool 2018-11-29 11:46:01 +01:00
hash depot: update recipe hashes 2021-05-10 11:18:12 +02:00
README libports: add libgcov and gcov tool 2018-11-29 11:46:01 +01:00
runtime Adjust gcov cap quota for seL4 2021-04-20 12:10:58 +02:00

gcov runtime for tests executed by 'depot_autopilot.run'