diff options
| author | Artyom Skrobov <tyomitch@gmail.com> | 2021-03-20 09:07:36 -0400 |
|---|---|---|
| committer | Artyom Skrobov <tyomitch@gmail.com> | 2021-03-26 13:24:20 -0400 |
| commit | d7dc3801ab9fdeef1b1edde050f9aad35c92d73b (patch) | |
| tree | 57dfefd1711850344aaa5be429159d4d20c80693 /ports | |
| parent | 155b61f0275efc1eac805ed37070834e81bb32ba (diff) | |
[ure] to save space, disable debug dumps by default
Has to stay enabled in unix port for the sake of tests/extmod/ure_debug.py
Diffstat (limited to 'ports')
| -rw-r--r-- | ports/unix/mpconfigport.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/unix/mpconfigport.h b/ports/unix/mpconfigport.h index 464c4ce11..bae0245d0 100644 --- a/ports/unix/mpconfigport.h +++ b/ports/unix/mpconfigport.h @@ -325,3 +325,4 @@ void mp_unix_mark_exec(void); #define MICROPY_PY_BUILTINS_HELP (1) #define MICROPY_PY_BUILTINS_HELP_MODULES (1) +#define CIRCUITPY_RE_DEBUG (1) |