Merge branch 'dev' into dev3

This commit is contained in:
Daan 2025-03-05 10:00:02 -08:00
commit d36397245d

View file

@ -202,7 +202,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