diff options
Diffstat (limited to 'ports/stm32/main.c')
| -rw-r--r-- | ports/stm32/main.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ports/stm32/main.c b/ports/stm32/main.c index b5dbfa50f..f19dac0e7 100644 --- a/ports/stm32/main.c +++ b/ports/stm32/main.c @@ -133,6 +133,10 @@ void nlr_jump_fail(void *val) { __fatal_error(""); } +void abort(void) { + __fatal_error("abort"); +} + #ifndef NDEBUG void MP_WEAK __assert_func(const char *file, int line, const char *func, const char *expr) { (void)func; |