From 8f2a533470a2100b53ba067c9d15f30014030346 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Mon, 28 Feb 2022 22:55:23 +0000
Subject: [PATCH] change pipe silencer to redirect to stderr so that we can see
 if QEMU is at least still alive

---
 linux/testvector-generation/silencePipe.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/linux/testvector-generation/silencePipe.c b/linux/testvector-generation/silencePipe.c
index 2cd531b89..3ffeb14b4 100644
--- a/linux/testvector-generation/silencePipe.c
+++ b/linux/testvector-generation/silencePipe.c
@@ -12,6 +12,8 @@ int main(void)
       ssize_t lineSize = getline(&line, &len, stdin);
       if (silenceChar!='1') {
           printf("%s",line);
+      } else {
+        fprintf(stderr,"%s",line);
       }
   }
   free(line);