diff options
Diffstat (limited to 'unix/mpconfigport_coverage.h')
| -rw-r--r-- | unix/mpconfigport_coverage.h | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/unix/mpconfigport_coverage.h b/unix/mpconfigport_coverage.h index 5fd5b82c1..5fc8d7107 100644 --- a/unix/mpconfigport_coverage.h +++ b/unix/mpconfigport_coverage.h @@ -27,12 +27,18 @@ // Default unix config while intended to be comprehensive, may still not enable // all the features, this config should enable more (testable) options. +#define MICROPY_VFS (1) +#define MICROPY_PY_UOS_VFS (1) + #include <mpconfigport.h> +#define MICROPY_FLOAT_HIGH_QUALITY_HASH (1) +#define MICROPY_ENABLE_SCHEDULER (1) +#define MICROPY_PY_DELATTR_SETATTR (1) +#define MICROPY_PY_BUILTINS_HELP (1) +#define MICROPY_PY_BUILTINS_HELP_MODULES (1) #define MICROPY_PY_URANDOM_EXTRA_FUNCS (1) #define MICROPY_PY_IO_BUFFEREDWRITER (1) -#undef MICROPY_FSUSERMOUNT #undef MICROPY_VFS_FAT -#define MICROPY_FSUSERMOUNT (1) #define MICROPY_VFS_FAT (1) #define MICROPY_PY_FRAMEBUF (1) |