diff options
| author | Damien George | 2017-03-14 11:50:50 +1100 |
|---|---|---|
| committer | Damien George | 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) { |