diff options
| author | Paul Sokolovsky | 2017-03-13 00:43:36 +0300 |
|---|---|---|
| committer | Paul Sokolovsky | 2017-03-13 00:43:36 +0300 |
| commit | f5aac7d33fa04c1709123f8b5667476e0d32c1ff (patch) | |
| tree | ae6a5ba7715b4ce9f8f939379bb9b775d6985487 | |
| parent | 40e541063faf15bd8965f2d65d5a5be08fdef851 (diff) | |
zephyr/main: nlr_jump_fail: Fix noreturn warning.
| -rw-r--r-- | zephyr/main.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/zephyr/main.c b/zephyr/main.c index d6980ad29..61de6e168 100644 --- a/zephyr/main.c +++ b/zephyr/main.c @@ -142,7 +142,8 @@ mp_obj_t mp_builtin_open(size_t n_args, const mp_obj_t *args, mp_map_t *kwargs) } MP_DEFINE_CONST_FUN_OBJ_KW(mp_builtin_open_obj, 1, mp_builtin_open); -void nlr_jump_fail(void *val) { +NORETURN void nlr_jump_fail(void *val) { + while (1); } void NORETURN __fatal_error(const char *msg) { |