Merge pull request #624 from gojimmypi/pr-detect-user-settings

Hard fail if the wrong user settings is detected
pull/636/head
Daniel Pouzzner 2025-11-08 09:30:01 -06:00 committed by GitHub
commit c02c273cf5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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>