diff options
| author | Damien George <damien.p.george@gmail.com> | 2017-02-16 17:23:06 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-03-06 17:13:16 +1100 |
| commit | be3d7f91e5c71f3736cd85ce7016f2b5629cd6e9 (patch) | |
| tree | 8db87603df4dc8e8e08f7df898c86b699a8421b8 /minimal/main.c | |
| parent | 05fe66f68a1cf1b7587c55149472ab7bca843631 (diff) | |
py/nlr.h: Mark nlr_jump_fail as NORETURN.
Diffstat (limited to 'minimal/main.c')
| -rw-r--r-- | minimal/main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/minimal/main.c b/minimal/main.c index 6b77b1a42..766ad6c1b 100644 --- a/minimal/main.c +++ b/minimal/main.c @@ -87,6 +87,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) { |