mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 11:55:24 +00:00
base: remove duplicates from dependency list
This patch prevents duplicates in the DEPS argument to be passed to the build stage. Fixes #1916
This commit is contained in:
parent
cda07b7da0
commit
d32b5a54b6
@ -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)\"\\"; \
|
||||
|
Loading…
x
Reference in New Issue
Block a user