From da3e5fd3d60cb3dffbf14a6c24c9204c4004cc73 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 3 Dec 2018 17:33:53 +0100 Subject: [PATCH] run/depot_autopilot: reset qemu args correctly --- repos/gems/run/depot_autopilot.run | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index b2700438ad..d4e2c85ca1 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -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