Index: tests/big_kernel_tests.c |
diff --git a/tests/big_kernel_tests.c b/tests/big_kernel_tests.c |
index b511c7267d829b3856221a2dce2bc4c955faa6cd..5524bad61f9975422e8f9b5a4ef77227d56dcc58 100644 |
--- a/tests/big_kernel_tests.c |
+++ b/tests/big_kernel_tests.c |
@@ -33,7 +33,7 @@ int BigKernelTest() { |
RSAPublicKey* firmware_key = RSAPublicKeyFromFile(kFirmwareKeyPublicFile); |
uint8_t* firmware_key_blob = BufferFromFile(kFirmwareKeyPublicFile, &len); |
uint8_t* kernel_sign_key_buf = BufferFromFile(kKernelKeyPublicFile, &len); |
- debug("Generating Big KernelImage..."); |
+ VBDEBUG(("Generating Big KernelImage...")); |
KernelImage* image = |
GenerateTestKernelImage(3, /* RSA2048/SHA1 */ |
0, /* RSA1024/SHA1 */ |
@@ -48,7 +48,7 @@ int BigKernelTest() { |
error_code = 1; |
goto cleanup; |
} |
- debug("Done.\n"); |
+ VBDEBUG(("Done.\n")); |
TEST_EQ(VerifyKernelImage(firmware_key, image, 0), |
VERIFY_KERNEL_SUCCESS, |
"Big KernelImage Verification"); |