Sync /tmp/xchg to ensure that the coverage data is flushed

This commit is contained in:
Eelco Dolstra 2014-03-03 13:37:44 +01:00
parent b0c2354809
commit ad7c518e45

View File

@ -144,6 +144,13 @@ sub runTests {
}
});
$log->nest("syncing", sub {
foreach my $vm (values %vms) {
next unless $vm->isUp();
$vm->execute("sync /tmp/xchg");
}
});
if ($nrTests != 0) {
$log->log("$nrSucceeded out of $nrTests tests succeeded",
($nrSucceeded < $nrTests ? { error => 1 } : { }));