diff options
| author | Damien George <damien.p.george@gmail.com> | 2019-08-17 23:50:19 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-08-19 16:43:00 +1000 |
| commit | 7d851a27f146188752e89bb026021fb8d3985395 (patch) | |
| tree | 3af741a441e5c3158afc309f379583f41e52733c /ports/unix/mpconfigport_coverage.h | |
| parent | 3a679eaf00b909980ad38344ec0c7395adcd0564 (diff) | |
extmod/modure: Make regex dump-code debugging feature optional.
Enabled via MICROPY_PY_URE_DEBUG, disabled by default (but enabled on unix
coverage build). This is a rarely used feature that costs a lot of code
(500-800 bytes flash). Debugging of regular expressions can be done
offline with other tools.
Diffstat (limited to 'ports/unix/mpconfigport_coverage.h')
| -rw-r--r-- | ports/unix/mpconfigport_coverage.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ports/unix/mpconfigport_coverage.h b/ports/unix/mpconfigport_coverage.h index b2f1d6e88..afd364649 100644 --- a/ports/unix/mpconfigport_coverage.h +++ b/ports/unix/mpconfigport_coverage.h @@ -50,6 +50,7 @@ #define MICROPY_PY_URANDOM_EXTRA_FUNCS (1) #define MICROPY_PY_IO_BUFFEREDWRITER (1) #define MICROPY_PY_IO_RESOURCE_STREAM (1) +#define MICROPY_PY_URE_DEBUG (1) #define MICROPY_PY_URE_MATCH_GROUPS (1) #define MICROPY_PY_URE_MATCH_SPAN_START_END (1) #define MICROPY_PY_URE_SUB (1) |