sel4: rename ld-sel4.lib.so to ld.lib.so in archive
This commit is contained in:
parent
c6ca89fb0a
commit
761d75423d
|
@ -34,7 +34,7 @@ src/kernel/sel4: src/kernel
|
||||||
|
|
||||||
|
|
||||||
content:
|
content:
|
||||||
for spec in x86_32; do \
|
for spec in x86_32 x86_64 arm; do \
|
||||||
mv lib/mk/spec/$$spec/ld-sel4.mk lib/mk/spec/$$spec/ld.mk; \
|
mv lib/mk/spec/$$spec/ld-sel4.mk lib/mk/spec/$$spec/ld.mk; \
|
||||||
done;
|
done;
|
||||||
sed -i "s/ld-sel4/ld/" src/lib/ld/sel4/target.mk
|
sed -i "s/ld-sel4/ld/" src/lib/ld/sel4/target.mk
|
||||||
|
|
Loading…
Reference in New Issue
Block a user