Diff between 638b9979a06676881df6ec94cd37ffb77181245d and d1d008d5842813cf1d11615345d61ba756a5a054
Changed Files
| File | Additions | Deletions | Status |
| tools/test-runner.c | +2 | -0 | modified |
Full Patch
diff --git a/tools/test-runner.c b/tools/test-runner.c
index 163b610..744dd17 100644
--- a/tools/test-runner.c
+++ b/tools/test-runner.c
@@ -88,6 +88,8 @@ static const char *find_qemu(void)
static const char *kernel_table[] = {
"bzImage",
"arch/x86/boot/bzImage",
+ "vmlinux",
+ "arch/x86/boot/vmlinux",
NULL
};