genode/tool/run/boot_dir/linux
2015-01-26 12:28:40 +01:00

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 }
}