ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

run: multiple power-on-command-param values 

Fixes #3708
This commit is contained in:
Tomasz Gajewski 2020-03-20 23:13:28 +01:00 committed by Norman Feske
parent 45a74023a7
commit 358fdd54b9
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
tool/run/power_on/command
View File

@ -11,16 +11,16 @@ proc power_on_command_cmd { } {
}
proc power_on_command_param { } {
return [get_cmd_arg_first --power-on-command-param 1]
proc power_on_command_params { } {
return [get_cmd_arg --power-on-command-param 1]
}
proc run_power_on { } {
set command [power_on_command_cmd]
set param [power_on_command_param]
set params [power_on_command_params]
exec $command $param
exec $command {*}$params
return true
}