diff options
author | Damien George <damien.p.george@gmail.com> | 2014-09-15 15:53:09 +0100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2014-09-15 15:53:09 +0100 |
commit | b92cbe612913a7c9d066c34912a3f77fe6392b2b (patch) | |
tree | ea267ba0d0d13a2dd7c4ef9ccb4b039bd993d328 /py/objint.h | |
parent | 83695596ed4fe3ad990b68cc5ff52c26caf2174d (diff) |
py: Move definition of mp_sys_exit to core.
sys.exit always raises SystemExit so doesn't need a special
implementation for each port. If C exit() is really needed, use the
standard os._exit function.
Also initialise mp_sys_path and mp_sys_argv in teensy port.
Diffstat (limited to 'py/objint.h')
-rw-r--r-- | py/objint.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/py/objint.h b/py/objint.h index 50f36df4d..638742a85 100644 --- a/py/objint.h +++ b/py/objint.h @@ -33,6 +33,8 @@ typedef struct _mp_obj_int_t { #endif } mp_obj_int_t; +extern const mp_obj_int_t mp_maxsize_obj; + void mp_obj_int_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind); char *mp_obj_int_formatted(char **buf, int *buf_size, int *fmt_size, mp_const_obj_t self_in, int base, const char *prefix, char base_char, char comma); |