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 /docs/readthedocs | |
| 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 'docs/readthedocs')
0 files changed, 0 insertions, 0 deletions