diff options
Diffstat (limited to 'unix/mpconfigport.h')
| -rw-r--r-- | unix/mpconfigport.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/unix/mpconfigport.h b/unix/mpconfigport.h index ca470d9c29..38bb979c92 100644 --- a/unix/mpconfigport.h +++ b/unix/mpconfigport.h @@ -31,6 +31,7 @@ #define MICROPY_EMIT_INLINE_THUMB (0) #define MICROPY_ENABLE_GC (1) #define MICROPY_ENABLE_FINALISER (1) +#define MICROPY_ENABLE_FROZENSET (1) #define MICROPY_MEM_STATS (1) #define MICROPY_DEBUG_PRINTERS (1) #define MICROPY_ENABLE_REPL_HELPERS (1) @@ -43,6 +44,7 @@ #define MICROPY_USE_COMPUTED_GOTO (1) #define MICROPY_MOD_SYS_STDFILES (1) #define MICROPY_ENABLE_MOD_CMATH (1) +#define MICROPY_SYS_EXIT (1) // Define to MICROPY_ERROR_REPORTING_DETAILED to get function, etc. // names in exception messages (may require more RAM). #define MICROPY_ERROR_REPORTING (MICROPY_ERROR_REPORTING_DETAILED) |