From 0bf6a24d61fe2b1c358055b1a6157ed421d70b08 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 6 Mar 2012 15:16:22 +0100
Subject: [PATCH] Add 'select_from_repositories' in 'dep_lib.mk'

Fixes #142.
---
 base/mk/dep_lib.mk | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/base/mk/dep_lib.mk b/base/mk/dep_lib.mk
index e72e8ac08..e9035303b 100644
--- a/base/mk/dep_lib.mk
+++ b/base/mk/dep_lib.mk
@@ -16,6 +16,11 @@
 #   INSTALL_DIR      - destination directory for installing shared libraries
 #
 
+#
+# Utility for selecting files from the list of repositories
+#
+select_from_repositories = $(firstword $(foreach REP,$(REPOSITORIES),$(wildcard $(REP)/$(1))))
+
 #
 # Generate dependencies only for those libs that are
 # not already contained in the library build log