Loading...
--- xnu/xnu-12377.121.6/tests/correct_kernel_booted.c
+++ xnu/xnu-7195.141.2/tests/correct_kernel_booted.c
@@ -112,8 +112,7 @@
T_DECL(correct_kernel_booted,
"Make sure the kernel on disk matches the running kernel, by UUID.",
- T_META_RUN_CONCURRENTLY(true),
- T_META_CHECK_LEAKS(false), T_META_TAG_VM_NOT_PREFERRED)
+ T_META_RUN_CONCURRENTLY(true))
{
T_SETUPBEGIN;
@@ -165,5 +164,4 @@
T_FAIL("failed to find kernel binary with UUID of the running kernel, "
"wrong kernel is booted");
}
- (void)closedir(kernels_dir);
}