From d32b5a54b602350b9cd99d6acd56bffaf7cead5b Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <schlatow@ida.ing.tu-bs.de>
Date: Fri, 18 Mar 2016 20:12:21 +0100
Subject: [PATCH] base: remove duplicates from dependency list

This patch prevents duplicates in the DEPS argument to be passed to the build
stage.

Fixes #1916
---
 repos/base/mk/dep_lib.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/mk/dep_lib.mk b/repos/base/mk/dep_lib.mk
index 0b6390e2f8..c5abc31e82 100644
--- a/repos/base/mk/dep_lib.mk
+++ b/repos/base/mk/dep_lib.mk
@@ -144,7 +144,7 @@ endif
 	  echo "	     REP_DIR=$(REP_DIR) \\"; \
 	  echo "	     LIB_MK=$(LIB_MK) \\"; \
 	  echo "	     LIB=$(LIB) \\"; \
-	  echo "	     DEPS=\"\$$($(DEP_VAR_NAME))\" \\"; \
+	  echo "	     DEPS=\"\$$(sort \$$($(DEP_VAR_NAME)))\" \\"; \
 	  echo "	     BUILD_BASE_DIR=$(BUILD_BASE_DIR) \\"; \
 	  echo "	     SHELL=$(SHELL) \\"; \
 	  echo "	     SHARED_LIBS=\"\$$(SHARED_LIBS)\"\\"; \