From 8dc9f7cbdcac6d9e41c8c10a5fb441ea16c4057b Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Fri, 25 Mar 2016 14:42:42 +0100
Subject: [PATCH] proxy dumps error number, if it receives an invalid system
 call

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

diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index ac08d6a6c..5ad8d1539 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -32,6 +32,7 @@
 #include <stdint.h>
 #include <signal.h>
 #include <fcntl.h>
+#include <errno.h>
 #include <sys/types.h>
 #include <sys/socket.h>
 #include <netinet/in.h>
@@ -421,7 +422,7 @@ int handle_syscalls(int s)
 			break;
 		}
 		default:
-			fprintf(stderr, "Proxy: invalid syscall number %d\n", sysnr);
+			fprintf(stderr, "Proxy: invalid syscall number %d, errno %d\n", sysnr, errno);
 			exit(1);
 			break;
 		}