mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +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 }
|
|
}
|