ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 00:24:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

run/depot_autopilot: reset qemu args correctly

Browse Source
This commit is contained in:
Martin Stein 2018-12-03 17:33:53 +01:00 committed by Norman Feske
parent 0a0a6ef591
commit da3e5fd3d6
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
repos/gems/run/depot_autopilot.run
View File

@ -353,8 +353,9 @@ proc prepare_to_run_genode { } {
global last_test_timed_out
global serial_id
global timeout
global initial_qemu_args
set qemu_args " -nographic -serial mon:stdio"
set qemu_args $initial_qemu_args
#
@ -572,6 +573,8 @@ proc prepare_to_run_genode { } {
set last_test_timed_out 0
set serial_id -1
set timeout 20
append qemu_args "-nographic -serial mon:stdio "
}
@ -590,6 +593,12 @@ if {[expr ![have_spec x86] && \
exit 0
}
# remember initial qemu args in case we have to re-boot later
set initial_qemu_args ""
if {[info exists qemu_args]} {
set initial_qemu_args $qemu_args
}
#
# Initialize the lists of test package-archives, source-archives,
# build-targets, and boot-modules to be considered by the run script