diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-05-18 00:58:32 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-05-18 00:58:32 +0300 |
| commit | 92a342a0113292c93a04d04af106649bb3e51b79 (patch) | |
| tree | 03d2a1fcb555f865204efd8415e38c7993c689de /py/map.c | |
| parent | 418faae8f7e1052e3a198ef7e69dff55deb7d141 (diff) | |
| download | micropython-92a342a0113292c93a04d04af106649bb3e51b79.tar.gz micropython-92a342a0113292c93a04d04af106649bb3e51b79.zip | |
unix/mpconfigport_coverage.h: Add dedicated config file for coverage build.
This allows to enable the options which aren't enabled in the normal unix
config (as unix port is no longer an enable-all port).
Diffstat (limited to 'py/map.c')
0 files changed, 0 insertions, 0 deletions