diff options
| author | Steven Rostedt (Red Hat) <rostedt@goodmis.org> | 2013-04-24 16:03:30 -0400 |
|---|---|---|
| committer | Steven Rostedt <rostedt@goodmis.org> | 2013-04-24 16:03:30 -0400 |
| commit | df5f7c66013c46cec9aa8156af257bc5eb29b5c5 (patch) | |
| tree | 7aa8b4f4e405a102d421bbe0932844c16507ea79 /tools | |
| parent | 752d96657cf4844793ac4d62d02a0733396ef16c (diff) | |
| download | lwn-df5f7c66013c46cec9aa8156af257bc5eb29b5c5.tar.gz lwn-df5f7c66013c46cec9aa8156af257bc5eb29b5c5.zip | |
ktest: Reset grub menu cache with different machines
Different tests may use a different machine. In such cases, we need to
try to get the current grub menu index. If the same grub menu is used
for two different machines, it may not be at the same index on the
second machine. A search for the index must be performed again.
Signed-off-by: Steven Rostedt <rostedt@goodmis.org>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/testing/ktest/ktest.pl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tools/testing/ktest/ktest.pl b/tools/testing/ktest/ktest.pl index 7958cd4d6567..0d7fd8b51544 100755 --- a/tools/testing/ktest/ktest.pl +++ b/tools/testing/ktest/ktest.pl @@ -73,6 +73,7 @@ my $ktest_config; my $version; my $have_version = 0; my $machine; +my $last_machine; my $ssh_user; my $tmpdir; my $builddir; @@ -1540,7 +1541,8 @@ sub run_scp_mod { sub get_grub2_index { return if (defined($grub_number) && defined($last_grub_menu) && - $last_grub_menu eq $grub_menu); + $last_grub_menu eq $grub_menu && defined($last_machine) && + $last_machine eq $machine); doprint "Find grub2 menu ... "; $grub_number = -1; @@ -1568,6 +1570,7 @@ sub get_grub2_index { if (!$found); doprint "$grub_number\n"; $last_grub_menu = $grub_menu; + $last_machine = $machine; } sub get_grub_index { @@ -1581,7 +1584,8 @@ sub get_grub_index { return; } return if (defined($grub_number) && defined($last_grub_menu) && - $last_grub_menu eq $grub_menu); + $last_grub_menu eq $grub_menu && defined($last_machine) && + $last_machine eq $machine); doprint "Find grub menu ... "; $grub_number = -1; @@ -1609,6 +1613,7 @@ sub get_grub_index { if (!$found); doprint "$grub_number\n"; $last_grub_menu = $grub_menu; + $last_machine = $machine; } sub wait_for_input |