From 2da5d41350d2b1644614a5ce8de557a283d7460a Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky
Date: Wed, 15 Aug 2018 15:17:41 +0300
Subject: py/objstr: Make % (__mod__) formatting operator configurable.

Default is enabled, disabled for minimal builds. Saves 1296 bytes on x86,
976 bytes on ARM.
---
 py/mpconfig.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'py/mpconfig.h')

diff --git a/py/mpconfig.h b/py/mpconfig.h
index e0a0f0d5a..8f1411405 100644
--- a/py/mpconfig.h
+++ b/py/mpconfig.h
@@ -759,6 +759,11 @@ typedef double mp_float_t;
 #define MICROPY_PY_BUILTINS_STR_CENTER (0)
 #endif
 
+// Whether str % (...) formatting operator provided
+#ifndef MICROPY_PY_BUILTINS_STR_OP_MODULO
+#define MICROPY_PY_BUILTINS_STR_OP_MODULO (1)
+#endif
+
 // Whether str.partition()/str.rpartition() method provided
 #ifndef MICROPY_PY_BUILTINS_STR_PARTITION
 #define MICROPY_PY_BUILTINS_STR_PARTITION (0)
-- 
cgit v1.2.3