diff options
author | Damien George <damien@micropython.org> | 2022-06-29 12:08:12 +1000 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2022-06-29 12:22:56 +1000 |
commit | fe55d3e0166b6c6ff189fb7a854847bad4fcd6b6 (patch) | |
tree | 04ba8262f8976fdd9696c13876cb2167d284c478 /ports/unix/variants/coverage/mpconfigvariant.h | |
parent | 6e83bb47ebeed8f8334925755bed5fea5b3f2475 (diff) |
unix/variants: Move setting of MICROPY_PY_USELECT to port config file.
The default is the same as before: MICROPY_PY_USELECT=0 and
MICROPY_PY_USELECT_POSIX=1. But now this can be easily overridden at the
make command-line using, eg:
make VARIANT=dev CFLAGS_EXTRA=-DMICROPY_PY_USELECT=1
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'ports/unix/variants/coverage/mpconfigvariant.h')
-rw-r--r-- | ports/unix/variants/coverage/mpconfigvariant.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ports/unix/variants/coverage/mpconfigvariant.h b/ports/unix/variants/coverage/mpconfigvariant.h index bf68dcb63..47ed4bc46 100644 --- a/ports/unix/variants/coverage/mpconfigvariant.h +++ b/ports/unix/variants/coverage/mpconfigvariant.h @@ -33,7 +33,6 @@ // Disable some features that come enabled by default with the feature level. #define MICROPY_PY_BUILTINS_EXECFILE (0) #define MICROPY_PY_SYS_STDIO_BUFFER (0) -#define MICROPY_PY_USELECT (0) // Enable additional features. #define MICROPY_DEBUG_PARSE_RULE_NAME (1) |