From 030301d046b7c130502028183d9be8d84b0dd3df Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 8 Jul 2016 14:04:03 +0200
Subject: [PATCH] gdb_monitor: remove superfluous check

The check for preparation of gdb is now done by the ports mechanism.
---
 repos/ports/lib/mk/gdbserver_platform.inc | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/repos/ports/lib/mk/gdbserver_platform.inc b/repos/ports/lib/mk/gdbserver_platform.inc
index a76ac40958..7997dd0129 100644
--- a/repos/ports/lib/mk/gdbserver_platform.inc
+++ b/repos/ports/lib/mk/gdbserver_platform.inc
@@ -34,10 +34,3 @@ amd64-avx.c:
 
 vpath %.cc $(REP_DIR)/src/lib/gdbserver_platform
 vpath %.c  $(GDB_CONTRIB_DIR)/gdb/gdbserver
-
-#
-# Detect missing preparation of GDB package
-#
-ifeq ($(wildcard $(GDB_CONTRIB_DIR)),)
-REQUIRES = prepare_ports_gdb
-endif