Loading...
tests/correct_kernel_booted.c xnu-12377.121.6 xnu-7195.141.2
--- 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);
 }