Merge branch 'dev' into dev2

This commit is contained in:
Daan 2025-03-05 09:59:45 -08:00
commit 2b9385911b

View file

@ -188,7 +188,7 @@ void _mi_options_init(void) {
} }
} }
#endif #endif
if (!mi_option_is_enabled(mi_option_verbose)) { mi_options_print(); } if (mi_option_is_enabled(mi_option_verbose)) { mi_options_print(); }
} }
#define mi_stringifyx(str) #str // and stringify #define mi_stringifyx(str) #str // and stringify