diff options
Diffstat (limited to 'tools/c-index-test/c-index-test.c')
| -rw-r--r-- | tools/c-index-test/c-index-test.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/c-index-test/c-index-test.c b/tools/c-index-test/c-index-test.c index 576f3c4a58..07be22a5e9 100644 --- a/tools/c-index-test/c-index-test.c +++ b/tools/c-index-test/c-index-test.c @@ -4119,8 +4119,8 @@ void thread_runner(void *client_data_v) { } static void flush_atexit(void) { - // stdout, and surprisingly even stderr, are not always flushed on process - // and thread exit, particularly when the system is under heavy load. + /* stdout, and surprisingly even stderr, are not always flushed on process + * and thread exit, particularly when the system is under heavy load. */ fflush(stdout); fflush(stderr); } |