Added printf_fast_f. Same as printf_fast, but with floating point enabled

[fw/sdcc] / device / lib / Makefile.in

diff --git a/device/lib/Makefile.in b/device/lib/Makefile.in
index 1e642e832e1a16c61c64e4c967278248d7a5f695..97c226b45eea49cafc4b0ab9137021192178eaa7 100644 (file)
--- a/device/lib/Makefile.in
+++ b/device/lib/Makefile.in
@@ -65,7 +65,8 @@ SOURCES               = _atof.c _atoi.c _atol.c _autobaud.c _bp.c _schar2fs.c \
                  calloc.c malloc.c realloc.c free.c \
                  serial.c ser_ir.c printfl.c \
                  printf_large.c sprintf.c vprintf.c puts.c gets.c \
-                 assert.c time.c printf_fast.c printf_tiny.c bpx.c \
+                 printf_fast.c printf_fast_f.c printf_tiny.c \
+                 assert.c time.c bpx.c \
                  _fsget1arg.c _fsget2args.c _fsnormalize.c \
                  _fsreturnval.c _fsrshift.c _fsswapargs.c \
                  fabsf.c frexpf.c ldexpf.c expf.c powf.c sincosf.c sinf.c \