1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Flush gcov files for DBUG_ASSERT and DBUG_SUICIDE

This commit is contained in:
Monty
2021-05-20 15:46:06 +03:00
parent e0a6cfb38b
commit 3b8d4180d5
3 changed files with 14 additions and 2 deletions

View File

@@ -63,7 +63,7 @@ my $cmd;
if ($opt_purge)
{
$cmd= "find . -name '*.da' -o -name '*.gcda' -o -name '*.gcov' -o ".
"-name '*.dgcov' | grep -v 'README\.gcov' | xargs rm -f ''";
"-name '*.dgcov' | xargs rm -f ''";
logv "Running: $cmd";
system($cmd)==0 or die "system($cmd): $? $!";
exit 0;