mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-18 21:27:56 +00:00
base: remove ancient artifact of config library
The config library was removed in issue #2431 in 2017.
This commit is contained in:
parent
250c16ddcf
commit
6cb697e6d8
@ -13,7 +13,6 @@ lib:
|
||||
mkdir -p lib/mk lib/symbols
|
||||
cp $(addprefix $(REP_DIR)/lib/mk/,$(LIB_MK_FILES)) lib/mk/
|
||||
cp $(REP_DIR)/lib/symbols/ld lib/symbols/
|
||||
touch lib/mk/config.mk
|
||||
sed -i "/KERNEL/d" lib/mk/ld.mk
|
||||
|
||||
SPECS := x86_32 x86_64 32bit 64bit
|
||||
|
Loading…
Reference in New Issue
Block a user