diff options
| author | pohmelie <multisosnooley@gmail.com> | 2016-04-03 01:52:09 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-04-08 20:15:37 +0300 |
| commit | b32b0d38fe2fa061aab30b9cd7b7189999d196a2 (patch) | |
| tree | a5568dce2bef1943f4c75e8923e6b6f0da6ec9bb | |
| parent | 20d9bc2d76a4432a8cebc8ed35bd5824f3eaaa99 (diff) | |
unix: freedos strip and size names for binaries
After this you need only one path for build (path/to/djgpp/bin). Original patch made by @dhylands
| -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 \ |