From 5198e03f54120ea45424c5c7f989fbaffc937d77 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 19 Feb 2017 22:25:11 +0100
Subject: [PATCH] use PROXY_DEBUG to print some debug messages

---
 tools/proxy.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tools/proxy.c b/tools/proxy.c
index 5481ed4e4..9086369ff 100644
--- a/tools/proxy.c
+++ b/tools/proxy.c
@@ -213,8 +213,9 @@ static int is_hermit_available(void)
 
 	if (qemu) {
 		file = fopen(tmpname, "r");
-		if (!file)
-			printf("%s is available\n", tmpname);
+		if (!file) {
+			PROXY_DEBUG("%s isn't available\n", tmpname);
+		}
 	} else {
 		char logname[MAX_PATH];