Fix mp_frozen_names

This commit is contained in:
Scott Shawcroft 2023-10-24 13:02:09 -07:00
parent 2c795acf1e
commit d14bb575cb
No known key found for this signature in database
GPG Key ID: 0DFD512649C052DA
1 changed files with 4 additions and 1 deletions

View File

@ -77,6 +77,10 @@ STATIC void mp_help_add_from_names(mp_obj_t list, const char *name) {
}
#endif
#if MICROPY_MODULE_FROZEN
extern const char mp_frozen_names[];
#endif
STATIC void mp_help_print_modules(void) {
mp_obj_t list = mp_obj_new_list(0, NULL);
@ -84,7 +88,6 @@ STATIC void mp_help_print_modules(void) {
mp_help_add_from_map(list, &mp_builtin_extensible_module_map);
#if MICROPY_MODULE_FROZEN
extern const char mp_frozen_names[];
mp_help_add_from_names(list, mp_frozen_names);
#endif