mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-29 18:18:54 +00:00
8 lines
172 B
Plaintext
8 lines
172 B
Plaintext
|
##
|
||
|
|
# Populate boot directory with binaries on Linux
|
||
|
|
#
|
||
|
|
proc run_boot_dir {binaries} {
|
||
|
|
foreach binary $binaries {
|
||
|
|
exec ln -sf ../../../../bin/$binary [run_dir]/genode }
|
||
|
|
}
|