From 0e681c8695b0f871883e166f76b7a123a9616fb2 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 13 Mar 2016 10:27:14 +0100
Subject: [PATCH] replace cpu_relax by rep_nop

---
 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 d765f6a41..c47a53666 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -160,7 +160,7 @@ static int init_env(void)
 	if (str) {
 		if (strcmp(result, str) != 0) {
 			free(result);
-			fprintf(stderr, "Unable to boot cores %s\n", str);
+			fprintf(stderr, "Unable to boot cores %s\n", result);
 			exit(1);
 		}
 	} else {