diff options
| author | Damien George | 2018-05-24 22:22:27 +1000 |
|---|---|---|
| committer | Damien George | 2018-07-02 14:55:05 +1000 |
| commit | 79d5e3abb3772081d55f6ff27a77c023f32ed027 (patch) | |
| tree | dca96fe0d8acb2e342b26e113294a36da0eb25f4 | |
| parent | e30a5fc7bcd27900e0657db97ed54fc056d8f852 (diff) | |
unix/mpconfigport_coverage: Enable ure groups, span, start, end and sub.
| -rw-r--r-- | ports/unix/mpconfigport_coverage.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ports/unix/mpconfigport_coverage.h b/ports/unix/mpconfigport_coverage.h index d0becfbc0..a98aae975 100644 --- a/ports/unix/mpconfigport_coverage.h +++ b/ports/unix/mpconfigport_coverage.h @@ -44,6 +44,9 @@ #define MICROPY_PY_URANDOM_EXTRA_FUNCS (1) #define MICROPY_PY_IO_BUFFEREDWRITER (1) #define MICROPY_PY_IO_RESOURCE_STREAM (1) +#define MICROPY_PY_URE_MATCH_GROUPS (1) +#define MICROPY_PY_URE_MATCH_SPAN_START_END (1) +#define MICROPY_PY_URE_SUB (1) #define MICROPY_VFS_POSIX (1) #undef MICROPY_VFS_FAT #define MICROPY_VFS_FAT (1) |