Commit d12c8374 authored by unknown's avatar unknown

BUG#22320 work around

parent 28131daa
......@@ -487,6 +487,12 @@ int main(int argc __attribute__((unused)),
}
my_delete(file1_name, MYF(0));
/*
workaround until we know why it crashes randomly on some machine
(BUG#22320).
*/
sleep(2);
DBUG_PRINT("info", ("file1 (%d) closed", file1.file));
DBUG_PRINT("info", ("Program end"));
......
......@@ -354,7 +354,11 @@ int main(int argc __attribute__((unused)),
DBUG_PRINT("info", ("file1 (%d) closed", file1.file));
DBUG_PRINT("info", ("Program end"));
/*
workaround until we know why it crashes randomly on some machine
(BUG#22320).
*/
sleep(2);
} /* SKIP_BIG_TESTS */
my_end(0);
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment