py/objstr: Make % (__mod__) formatting operator configurable.

Default is enabled, disabled for minimal builds. Saves 1296 bytes on x86,
976 bytes on ARM.
This commit is contained in:
Paul Sokolovsky
2018-08-15 15:17:41 +03:00
committed by Damien George
parent b01f66c5f1
commit 2da5d41350
5 changed files with 18 additions and 0 deletions

View File

@@ -29,6 +29,7 @@
#define MICROPY_PY_BUILTINS_SET (0)
#define MICROPY_PY_BUILTINS_SLICE (0)
#define MICROPY_PY_BUILTINS_PROPERTY (0)
#define MICROPY_PY_BUILTINS_STR_OP_MODULO (0)
#define MICROPY_PY___FILE__ (0)
#define MICROPY_PY_GC (0)
#define MICROPY_PY_ARRAY (0)