py: Reduce size of mp_printf by eliminating unnecessary code.

Saves around 120 bytes on Thumb2 archs.
This commit is contained in:
Damien George
2015-05-28 13:54:56 +00:00
parent 78744c4f7a
commit 2cae0f6290
2 changed files with 12 additions and 3 deletions

View File

@@ -57,7 +57,6 @@ extern const mp_print_t mp_sys_stdout_print;
int mp_print_str(const mp_print_t *print, const char *str);
int mp_print_strn(const mp_print_t *print, const char *str, mp_uint_t len, int flags, char fill, int width);
int mp_print_int(const mp_print_t *print, mp_uint_t x, int sgn, int base, int base_char, int flags, char fill, int width);
#if MICROPY_PY_BUILTINS_FLOAT
int mp_print_float(const mp_print_t *print, mp_float_t f, char fmt, int flags, char fill, int width, int prec);
#endif