From ff4033c6b02350072719177f3edd1f303bebff80 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 21 Apr 2016 08:52:10 +0200
Subject: [PATCH] noux: prevent compiler warning

---
 repos/ports/src/noux/net/net.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/ports/src/noux/net/net.cc b/repos/ports/src/noux/net/net.cc
index b30f37f2bc..f8694352ee 100644
--- a/repos/ports/src/noux/net/net.cc
+++ b/repos/ports/src/noux/net/net.cc
@@ -113,6 +113,7 @@ bool Noux::Child::_syscall_net(Noux::Session::Syscall sc)
 		case SYSCALL_UTIMES:
 		case SYSCALL_SYNC:
 		case SYSCALL_KILL:
+		case SYSCALL_GETDTABLESIZE:
 			break;
 		case SYSCALL_SOCKET:
 			{