diff --git a/main/astmm.c b/main/astmm.c index 1283de2dfea3d869eacb0e3b12684f9cf141cc3e..9396d09873e8a06b4f2f8d85d41365d74c44af72 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();