From 4d234abb493c42c28ce4ce75e48c5b747c15fbaa Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Tue, 29 Dec 2015 21:02:45 +0100
Subject: [PATCH] remove obsolete debug messages

---
 hermit/tools/proxy.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index 383ecc276..a4022812b 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -111,7 +111,7 @@ static int init_env(void)
 		exit(1);
 	}
 
-	fprintf(file, "%s", fname);
+	//fprintf(file, "%s", fname);
 
 	fclose(file);