diff options
Diffstat (limited to 'tools/testing')
-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; | |||
73 | my $version; | 73 | my $version; |
74 | my $have_version = 0; | 74 | my $have_version = 0; |
75 | my $machine; | 75 | my $machine; |
76 | my $last_machine; | ||
76 | my $ssh_user; | 77 | my $ssh_user; |
77 | my $tmpdir; | 78 | my $tmpdir; |
78 | my $builddir; | 79 | my $builddir; |
@@ -1540,7 +1541,8 @@ sub run_scp_mod { | |||
1540 | sub get_grub2_index { | 1541 | sub get_grub2_index { |
1541 | 1542 | ||
1542 | return if (defined($grub_number) && defined($last_grub_menu) && | 1543 | return if (defined($grub_number) && defined($last_grub_menu) && |
1543 | $last_grub_menu eq $grub_menu); | 1544 | $last_grub_menu eq $grub_menu && defined($last_machine) && |
1545 | $last_machine eq $machine); | ||
1544 | 1546 | ||
1545 | doprint "Find grub2 menu ... "; | 1547 | doprint "Find grub2 menu ... "; |
1546 | $grub_number = -1; | 1548 | $grub_number = -1; |
@@ -1568,6 +1570,7 @@ sub get_grub2_index { | |||
1568 | if (!$found); | 1570 | if (!$found); |
1569 | doprint "$grub_number\n"; | 1571 | doprint "$grub_number\n"; |
1570 | $last_grub_menu = $grub_menu; | 1572 | $last_grub_menu = $grub_menu; |
1573 | $last_machine = $machine; | ||
1571 | } | 1574 | } |
1572 | 1575 | ||
1573 | sub get_grub_index { | 1576 | sub get_grub_index { |
@@ -1581,7 +1584,8 @@ sub get_grub_index { | |||
1581 | return; | 1584 | return; |
1582 | } | 1585 | } |
1583 | return if (defined($grub_number) && defined($last_grub_menu) && | 1586 | return if (defined($grub_number) && defined($last_grub_menu) && |
1584 | $last_grub_menu eq $grub_menu); | 1587 | $last_grub_menu eq $grub_menu && defined($last_machine) && |
1588 | $last_machine eq $machine); | ||
1585 | 1589 | ||
1586 | doprint "Find grub menu ... "; | 1590 | doprint "Find grub menu ... "; |
1587 | $grub_number = -1; | 1591 | $grub_number = -1; |
@@ -1609,6 +1613,7 @@ sub get_grub_index { | |||
1609 | if (!$found); | 1613 | if (!$found); |
1610 | doprint "$grub_number\n"; | 1614 | doprint "$grub_number\n"; |
1611 | $last_grub_menu = $grub_menu; | 1615 | $last_grub_menu = $grub_menu; |
1616 | $last_machine = $machine; | ||
1612 | } | 1617 | } |
1613 | 1618 | ||
1614 | sub wait_for_input | 1619 | sub wait_for_input |