diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-01-31 09:19:58 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-31 11:35:53 +0100 |
| commit | 7e81a532301ad5caef5158226cef3a11898987c9 (patch) | |
| tree | 37ad4c4f302fc594c4d51b000efbc8ad56bb5507 /executor/common.h | |
| parent | 1068e211727a1adc9c4ae881e665058e9b7ce86a (diff) | |
pkg/csource: write tracing output to stderr
stdout is not flushed on abnormal exit.
Diffstat (limited to 'executor/common.h')
| -rw-r--r-- | executor/common.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/common.h b/executor/common.h index 39dc5605e..6f11ef058 100644 --- a/executor/common.h +++ b/executor/common.h @@ -425,7 +425,7 @@ static void loop(void) } #endif #if SYZ_TRACE - printf("### start\n"); + fprintf(stderr, "### start\n"); #endif int i, call, thread; #if SYZ_COLLIDE |