diff --git a/windows/mpconfigport.h b/windows/mpconfigport.h index 51d4697e4d..3289c7b7c9 100644 --- a/windows/mpconfigport.h +++ b/windows/mpconfigport.h @@ -90,6 +90,7 @@ #define MICROPY_PY_UHASHLIB (1) #define MICROPY_PY_UBINASCII (1) #define MICROPY_PY_URANDOM (1) +#define MICROPY_PY_UTIME (1) #define MICROPY_PY_MACHINE (1) #define MICROPY_ERROR_REPORTING (MICROPY_ERROR_REPORTING_DETAILED) diff --git a/windows/mpconfigport.mk b/windows/mpconfigport.mk index 3a2c6a6b1a..87001d464f 100644 --- a/windows/mpconfigport.mk +++ b/windows/mpconfigport.mk @@ -6,8 +6,5 @@ MICROPY_FORCE_32BIT = 0 # Linking with GNU readline causes binary to be licensed under GPL MICROPY_USE_READLINE = 1 -# Subset of CPython time module -MICROPY_PY_TIME = 1 - # ffi module requires libffi (libffi-dev Debian package) MICROPY_PY_FFI = 0