Hard fail if the wrong user settings is detected

pull/624/head
gojimmypi 2025-10-31 11:11:05 -07:00
parent a8afa747ae
commit f198c6ba49
No known key found for this signature in database
GPG Key ID: 3D684FA88DC3FAA8
2 changed files with 11 additions and 0 deletions

View File

@ -46,6 +46,12 @@
#undef NO_FILESYSTEM
#endif
#ifdef WOLFBOOT_KEYTOOLS
/* this code needs to use the Use ./include/user_settings.h file */
#error "The wrong user_settings.h has been included."
#endif
/* HAL Stubs */
void hal_init(void)
{

View File

@ -30,6 +30,11 @@
#include <stdio.h>
#endif
#include <wolfssl/wolfcrypt/settings.h> /* for wolfCrypt hash/sign routines */
#ifdef WOLFBOOT_KEYTOOLS
/* this code needs to use the Use ./include/user_settings.h, not keytools */
#error "The wrong user_settings.h has been included."
#endif
#include <stddef.h>
#include <string.h>