From 3da44f67ce0dc01e3908e4167255b0cd6a4d4aaf Mon Sep 17 00:00:00 2001
From: Kevin Bracey <kevin.bracey@arm.com>
Date: Wed, 31 Oct 2018 15:36:32 +0200
Subject: [PATCH] Add format checking to RawSerial::printf

---
 drivers/RawSerial.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/drivers/RawSerial.h b/drivers/RawSerial.h
index 4325bcb9e0..bb06fe4787 100644
--- a/drivers/RawSerial.h
+++ b/drivers/RawSerial.h
@@ -20,6 +20,7 @@
 
 #if defined (DEVICE_SERIAL) || defined(DOXYGEN_ONLY)
 
+#include "mbed_toolchain.h"
 #include "drivers/SerialBase.h"
 #include "hal/serial_api.h"
 #include "platform/NonCopyable.h"
@@ -86,7 +87,7 @@ public:
      */
     int puts(const char *str);
 
-    int printf(const char *format, ...);
+    int printf(const char *format, ...) MBED_PRINTF_METHOD(1, 2);
 
 #if !(DOXYGEN_ONLY)
 protected: