ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 07:46:42 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

autopilot: add '--autopilot' run option

Browse Source 
The '--autopilot' option makes it possible for a run script to detect if
it is being executed by the autopilot by

  if { [get_cmd_switch --autopilot] } { ... }

In that case, the run script could do an automated test, whereas the
test could be interactive when run without this option.

Fixes #2076
This commit is contained in:
Christian Prochaska 2016-08-24 17:37:21 +02:00 committed by Christian Helmuth
parent a08846edf0
commit 16f0a69a8b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/autopilot
View File

@ -309,7 +309,7 @@ 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 $::env(RUN_OPT_AUTOPILOT)" >> $build_conf
exec echo "RUN_OPT=--include boot_dir/$kernel --autopilot $::env(RUN_OPT_AUTOPILOT)" >> $build_conf
}
}