diff options
| author | Nikita Melentev <Nikita.Melentev@kronshtadt.ru> | 2017-02-02 14:32:19 +0300 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-02-06 15:25:42 +1100 |
| commit | 5bea6ea808b4ce0c9f6fa07c8dffddcdb7883f96 (patch) | |
| tree | dbde20f8c512df4b30d89cdceeffe83bd55aa4eb /unix/Makefile | |
| parent | 8400351d5aa9e4378713f042a8170efafbd112ce (diff) | |
unix: Fix freedos port build problems.
Diffstat (limited to 'unix/Makefile')
| -rw-r--r-- | unix/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/unix/Makefile b/unix/Makefile index 720842d6b..83bd3f984 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -235,7 +235,10 @@ freedos: PROG=micropython_freedos \ MICROPY_PY_SOCKET=0 \ MICROPY_PY_FFI=0 \ - MICROPY_PY_JNI=0 + MICROPY_PY_JNI=0 \ + MICROPY_PY_BTREE=0 \ + MICROPY_PY_THREAD=0 \ + MICROPY_PY_USSL=0 # build an interpreter for coverage testing and do the testing coverage: |
