From 7e81a532301ad5caef5158226cef3a11898987c9 Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Thu, 31 Jan 2019 09:19:58 +0100
Subject: pkg/csource: write tracing output to stderr

stdout is not flushed on abnormal exit.
---
 executor/common.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'executor/common.h')

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
-- 
cgit mrf-deployment