diff options
| author | Steven Rostedt (Red Hat) <[email protected]> | 2013-04-24 16:03:30 -0400 |
|---|---|---|
| committer | Steven Rostedt <[email protected]> | 2013-04-24 16:03:30 -0400 |
| commit | df5f7c66013c46cec9aa8156af257bc5eb29b5c5 (patch) | |
| tree | 7aa8b4f4e405a102d421bbe0932844c16507ea79 /lib/mpi/mpi-bit.c | |
| parent | 752d96657cf4844793ac4d62d02a0733396ef16c (diff) | |
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 <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions