diff options
author | Damien George <damien.p.george@gmail.com> | 2017-03-14 11:50:50 +1100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2017-03-14 11:50:50 +1100 |
commit | 9773506ab131422433c830e18ab044f0c7d3e0b0 (patch) | |
tree | e66a253574163d624c7065b2f792608b2ab7f804 | |
parent | 9c9674a32599b8f9268fb479fc1cb3d62a5ec2f0 (diff) |
pic16bit/main: Make nlr_jump_fail never return.
-rw-r--r-- | pic16bit/main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pic16bit/main.c b/pic16bit/main.c index fcc51b661..5c58d5c68 100644 --- a/pic16bit/main.c +++ b/pic16bit/main.c @@ -111,6 +111,7 @@ mp_obj_t mp_builtin_open(uint 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) { + while (1); } void NORETURN __fatal_error(const char *msg) { |