From 11aaf99390cd366e2ad26fe3c9b46aed68214b59 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Thu, 22 Sep 2016 19:39:52 +0200 Subject: [PATCH] if HERMIT_VERBOS is set to 0, don't print the log file --- hermit/tools/proxy.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c index 9c4de1c10..0f4bdf5c8 100644 --- a/hermit/tools/proxy.c +++ b/hermit/tools/proxy.c @@ -286,7 +286,7 @@ static int init_qemu(char *path) }*/ str = getenv("HERMIT_VERBOSE"); - if (str) + if (str && (strcmp(str, "0") != 0)) { printf("qemu startup command: "); @@ -389,7 +389,7 @@ static void dump_log(void) FILE* file; char line[2048]; - if (!str) + if (!(str && (strcmp(str, "0") != 0))) return; if (!qemu)