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

autopilot: always add '--autopilot' run option 

...not just in case RUN_OPT_AUTOPILOT was set.

Issue #2076
This commit is contained in:
Christian Prochaska 2016-08-31 12:03:56 +02:00 committed by Christian Helmuth
parent 8723d764f9
commit 9c88891baf
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tool/autopilot
View File

@ -309,8 +309,10 @@ foreach platform $platforms {
if {[info exists ::env(RUN_OPT_AUTOPILOT)]} {
set kernel [exec echo $platform |& sed {s/_.*//}]
exec echo "RUN_OPT=--include boot_dir/$kernel --autopilot $::env(RUN_OPT_AUTOPILOT)" >> $build_conf
exec echo "RUN_OPT=--include boot_dir/$kernel $::env(RUN_OPT_AUTOPILOT)" >> $build_conf
}
exec echo "RUN_OPT += --autopilot" >> $build_conf
}