diff options
Diffstat (limited to 'py')
| -rw-r--r-- | py/mpconfig.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/py/mpconfig.h b/py/mpconfig.h index c617f573b..4a15205ae 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -1485,11 +1485,16 @@ typedef double mp_float_t; #define MICROPY_PY_ERRNO_ERRORCODE (1) #endif -// Whether to provide "select" module (baremetal implementation) +// Whether to provide "select" module #ifndef MICROPY_PY_SELECT #define MICROPY_PY_SELECT (MICROPY_CONFIG_ROM_LEVEL_AT_LEAST_EXTRA_FEATURES) #endif +// Whether to enable POSIX optimisations in the "select" module (requires system poll) +#ifndef MICROPY_PY_SELECT_POSIX_OPTIMISATIONS +#define MICROPY_PY_SELECT_POSIX_OPTIMISATIONS (0) +#endif + // Whether to enable the select() function in the "select" module (baremetal // implementation). This is present for compatibility but can be disabled to // save space. |