From 2a3622aa3cdbc0568095b473c89b6c74af147cd0 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 23 Aug 2016 10:12:25 +0200
Subject: [PATCH] if HERMIT_VERBOSE is set, the used qemu command will be
 printed

---
 hermit/tools/proxy.c | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index 7358c0c01..b116ade5b 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -176,8 +176,18 @@ static int init_qemu(char *path)
 	str = strstr(loader_path, "proxy");
 	strncpy(str, "../arch/x86/loader/ldhermit.elf", MAX_PATH-strlen(loader_path)+5);
 
-	//for(int i=0; qemu_argv[i] != NULL; i++)
-	//	printf("%s\n", qemu_argv[i]);
+	str = getenv("HERMIT_VERBOSE");
+	if (str)
+	{
+		printf("qemu startup command: \n");
+		printf("%s ", qemu_str);
+
+		for(int i=0; qemu_argv[i] != NULL; i++)
+			printf("%s ", qemu_argv[i]);
+
+		printf("\n");
+		fflush(stdout);
+	}
 
 	id = fork();
 	if (id == 0)