Several examples run on only mbed-os5.13.0 (not 5.14.0)

Dependencies:   BD_SD_DISCO_F769NI BSP_DISCO_F769NI LCD_DISCO_F769NI TS_DISCO_F769NI USBHost_F769NI

Revision:
3:35ac9ee7d2d6
Child:
4:0f4affc00183
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/check_revision.cpp	Wed Aug 07 05:39:01 2019 +0000
@@ -0,0 +1,25 @@
+/*
+ * Check Mbed revision
+ *
+ * Copyright (c) 2019 Kenji Arai / JH1PJL
+ *  http://www.page.sannet.ne.jp/kenjia/index.html
+ *  https://os.mbed.com/users/kenjiArai/
+ *      Created:    July      17th, 2019
+ *      Revised:    August     2nd, 2019
+ */
+
+#include "mbed.h"
+
+//    RUN ONLY ON mbed-os5.13.0
+#if (MBED_MAJOR_VERSION == 5) &&\
+    (MBED_MINOR_VERSION == 13) &&\
+    (MBED_PATCH_VERSION == 0)
+    #if defined(TARGET_STM32F769NI)
+        // correct mbed-os version
+    #else
+        #error "DISCO-F769NI"
+    #endif
+#else
+    //#warning "Please use Mbed-os5.13.0"
+    #error "Please use Mbed-os5.13.0"
+#endif
\ No newline at end of file