diff options
-rw-r--r-- | ruth/ruth.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ruth/ruth.c b/ruth/ruth.c index 4b1ede6..7c1815b 100644 --- a/ruth/ruth.c +++ b/ruth/ruth.c @@ -951,6 +951,10 @@ main (int argc, char *argv[]) while (! in) sched_yield (); + /* Wait a bit to ensure that the thread actually calls + vg_object_reply_on_destruction. */ + vg_sleep (VG_ADDR_VOID, VG_ADDR_VOID, 100 * 1000 * 1000); + /* Deallocate the object. */ debug (5, "Destroying object"); vg_folio_object_alloc (VG_ADDR_VOID, |