tree e59bde4c0115aa86876bdf9c763141f970290c08
parent fc4aa0d727f18fd98200e7c493cb75aa6462139d
author Davide Pesavento <davide.pesavento@lip6.fr> 1476504637 +0000
committer Junxiao Shi <git@mail1.yoursunny.com> 1476504637 +0000

ci: ensure XML test reports do not clobber the output of previous runs

Change-Id: I5ad31d571d296b6cd85012786ab3d4370f98fbea
Refs: #3750