mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-19 03:06:39 +00:00
parent
417dd59b22
commit
b7e06a0b5b
@ -6,6 +6,7 @@ MIRROR_FROM_REP_DIR = \
|
|||||||
lib/mk/gmp-mpq.mk \
|
lib/mk/gmp-mpq.mk \
|
||||||
lib/mk/gmp-mpz.mk \
|
lib/mk/gmp-mpz.mk \
|
||||||
lib/mk/spec/arm/gmp-mpn.mk \
|
lib/mk/spec/arm/gmp-mpn.mk \
|
||||||
|
lib/mk/spec/arm_64/gmp-mpn.mk \
|
||||||
lib/mk/spec/x86_32/gmp-mpn.mk \
|
lib/mk/spec/x86_32/gmp-mpn.mk \
|
||||||
lib/mk/spec/x86_64/gmp-mpn.mk \
|
lib/mk/spec/x86_64/gmp-mpn.mk \
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user