diff options
| -rw-r--r-- | main/astmm.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/main/astmm.c b/main/astmm.c index 1283de2df..9396d0987 100644 --- a/main/astmm.c +++ b/main/astmm.c @@ -1333,8 +1333,11 @@ static void mm_atexit_final(void) { FILE *log; - fprintf(stderr, "Waiting 10 seconds to let other threads die.\n"); - sleep(10); + /* Only wait if we want atexit allocation dumps. */ + if (atexit_list || atexit_summary) { + fprintf(stderr, "Waiting 10 seconds to let other threads die.\n"); + sleep(10); + } regions_check_all_fences(); |