Fix for USB uart slowness since PR #720 (#787)

[proxmark3-svn] / armsrc / printf.c

diff --git a/armsrc/printf.c b/armsrc/printf.c
index 49537c6412e092a8f7cbb29091860f21d53b9c20..79c123dff624e6c030df9307b16b72d38e7631f6 100644 (file)
--- a/armsrc/printf.c
+++ b/armsrc/printf.c
@@ -38,9 +38,7 @@
 #include <stdarg.h>
 #include "printf.h"
 #include "util.h"
-
-typedef uint32_t uintmax_t;
-typedef int32_t intmax_t;
+#include "string.h"
 
 typedef unsigned char u_char;
 typedef unsigned int u_int;
@@ -177,6 +175,7 @@ reswitch:   switch (ch = (u_char)*fmt++) {
                                padc = '0';
                                goto reswitch;
                        }
+                       // intentionally fall through to next case
                case '1': case '2': case '3': case '4':
                case '5': case '6': case '7': case '8': case '9':
                                for (n = 0;; ++fmt) {