From 747c482188fb6318e10b8b8ec9ea65ddd6f075cc Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 23 Mar 2012 11:09:30 +0100
Subject: [PATCH] Fiasco.OC: remove cap_alloc library (fix #160)

The cap_alloc library became redundant and doesn't compile any longer.
This commit simply removes it. Please, refer to issue #160.
---
 base-foc/lib/mk/cap_alloc.mk | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 base-foc/lib/mk/cap_alloc.mk

diff --git a/base-foc/lib/mk/cap_alloc.mk b/base-foc/lib/mk/cap_alloc.mk
deleted file mode 100644
index 33f7d67d9..000000000
--- a/base-foc/lib/mk/cap_alloc.mk
+++ /dev/null
@@ -1,3 +0,0 @@
-SRC_CC = cap_sel_alloc.cc
-
-vpath cap_sel_alloc.cc  $(REP_DIR)/src/base/env