From 9745effc53fd70532b6f0305eb1c3e077b7d683d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 15 Dec 2016 17:27:30 +0100
Subject: [PATCH] mk: remove obsolete PRG_LIBS variable

---
 repos/base/mk/dep_prg.mk | 1 -
 1 file changed, 1 deletion(-)

diff --git a/repos/base/mk/dep_prg.mk b/repos/base/mk/dep_prg.mk
index d92913c1d9..33da125c9e 100644
--- a/repos/base/mk/dep_prg.mk
+++ b/repos/base/mk/dep_prg.mk
@@ -25,7 +25,6 @@ include $(foreach LIB,$(LIBS),$(call select_from_repositories,lib/import/import-
 # Add globally defined library supplements
 #
 include $(SPEC_FILES)
-LIBS += $(PRG_LIBS)
 
 #
 # Determine location of $(TARGET_MK) within 'src/', remove trailing slash