diff options
| author | Damien George | 2014-05-24 23:03:12 +0100 |
|---|---|---|
| committer | Damien George | 2014-05-24 23:03:12 +0100 |
| commit | ee3fd46f1383e984c968c4a82d634d7b0cea49b8 (patch) | |
| tree | 76eb38f9015df5d003f646ce019745426365021c /windows/mpconfigport.mk | |
| parent | d0ceb04b90ca7edd7e45b8eff1cdebdfa20a0cf8 (diff) | |
Rename configuration variables controling Python features.
Now of the form MICROPY_PY_*. See issue #35.
Diffstat (limited to 'windows/mpconfigport.mk')
| -rw-r--r-- | windows/mpconfigport.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/windows/mpconfigport.mk b/windows/mpconfigport.mk index 458f23dd1..f1d406d57 100644 --- a/windows/mpconfigport.mk +++ b/windows/mpconfigport.mk @@ -7,7 +7,7 @@ MICROPY_FORCE_32BIT = 0 MICROPY_USE_READLINE = 0 # Subset of CPython time module -MICROPY_MOD_TIME = 1 +MICROPY_PY_TIME = 1 # ffi module requires libffi (libffi-dev Debian package) -MICROPY_MOD_FFI = 0 +MICROPY_PY_FFI = 0 |