diff options
| -rw-r--r-- | unix/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/unix/Makefile b/unix/Makefile index 729d894a1..6d6239f78 100644 --- a/unix/Makefile +++ b/unix/Makefile @@ -213,6 +213,8 @@ nanbox: freedos: $(MAKE) \ CC=i586-pc-msdosdjgpp-gcc \ + STRIP=i586-pc-msdosdjgpp-strip \ + SIZE=i586-pc-msdosdjgpp-size \ CFLAGS_EXTRA='-DMP_CONFIGFILE="<mpconfigport_freedos.h>" -DMICROPY_NLR_SETJMP -Dtgamma=gamma -DMICROPY_EMIT_X86=0 -DMICROPY_NO_ALLOCA=1 -DMICROPY_PY_USELECT=0' \ BUILD=build-freedos \ PROG=micropython_freedos \ |