From acab2515e1d92e059bf6b86e90fd7ad7c96ab84e Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 21 Dec 2015 09:22:40 +0100
Subject: [PATCH] base-linux: remove get_pid debug helper

Fixes #1829
---
 repos/base-linux/src/base/env/debug.cc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/repos/base-linux/src/base/env/debug.cc b/repos/base-linux/src/base/env/debug.cc
index 2602e5a76..8ee21165b 100644
--- a/repos/base-linux/src/base/env/debug.cc
+++ b/repos/base-linux/src/base/env/debug.cc
@@ -55,6 +55,3 @@ extern "C" void wait_for_continue(void)
 	lx_syscall(SYS_read, (int)0, buf, sizeof(buf));
 #endif /* DEBUG */
 }
-
-
-extern "C" int get_pid() { return lx_getpid(); }