From d1becbb793a2f9b2763f5d27296fc3fe5805063b Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Fri, 12 Mar 2021 23:05:56 -0500
Subject: [PATCH] Tests: Fix gmon file not always flushing

---
 test_regress/t/t_case_huge_prof.pl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test_regress/t/t_case_huge_prof.pl b/test_regress/t/t_case_huge_prof.pl
index 9e75c590c..8b7b293ed 100755
--- a/test_regress/t/t_case_huge_prof.pl
+++ b/test_regress/t/t_case_huge_prof.pl
@@ -34,6 +34,8 @@ sub dotest {
         check_finished => 1,
         );
 
+    sleep 4;  # Disk flush wait
+
     my $gmon_path;
     $gmon_path = $_ foreach (glob "$Self->{obj_dir}/gmon.out.*");
     $gmon_path or error("Profiler did not create a gmon.out");