tree 2f95af7014f49ed8f4cce35ac4a3f20177e9c133
parent 8527f86de487a9e100a5a3a476f6317a6471235b
author Davide Pesavento <davide.pesavento@lip6.fr> 1473791373 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1473791373 +0000

ci: fix gcovr invocation

Change-Id: If74633cfb67725b43a55d7b190b178137ad2c420
Refs: #3418