More work on mk20dx128vlf5 port.

[kiibohd-controller.git] / Debug / print / print.c

diff --git a/Debug/print/print.c b/Debug/print/print.c
index fefa23f8bfccfd85bce612fb6dfb87a21d310715..efe280bc5d9e5daae14b9a6dd7c4467914d50914 100644 (file)
--- a/Debug/print/print.c
+++ b/Debug/print/print.c
@@ -64,7 +64,7 @@ void _print( const char* s )
        {
                Output_putchar( c );
        }
-#elif defined(_mk20dx128_) || defined(_mk20dx256_) // ARM
+#elif defined(_mk20dx128_) || defined(_mk20dx128vlf5_) || defined(_mk20dx256_) // ARM
        Output_putstr( (char*)s );
 #endif
 }