* fixed GCC 4.4.0 mingw compilation:

[fw/sdcc] / device / lib / printf_fast_f.c

diff --git a/device/lib/printf_fast_f.c b/device/lib/printf_fast_f.c
index eb91459212bd62a819a3765176e38e4012f9989e..c2504a65f654f33387f9fb8057a0a9f5d334d5a9 100644 (file)
--- a/device/lib/printf_fast_f.c
+++ b/device/lib/printf_fast_f.c
@@ -1,7 +1,13 @@
 // Same as printf_fast, but with floating point enabled
 
+#define SDCC_FLOAT_LIB
+#include <float.h>
+
+#ifdef FLOAT_ASM_MCS51
+
 #define FLOAT
 #define PRINTF_FAST printf_fast_f
 
 #include "printf_fast.c"
 
+#endif