mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
5 lines
88 B
Plaintext
5 lines
88 B
Plaintext
#
|
|
# Use the default host compiler instead of the Genode tool chain
|
|
#
|
|
CROSS_DEV_PREFIX =
|