Diff: check_revision.cpp

Revision:

4:6d6ea85642ed

Parent:

3:4d7be22641c1

Child:

6:7f8bc932cede

--- a/check_revision.cpp	Sat Aug 17 03:29:11 2019 +0000
+++ b/check_revision.cpp	Tue Dec 24 10:30:40 2019 +0000
@@ -5,17 +5,17 @@
  *  http://www.page.sannet.ne.jp/kenjia/index.html
  *  https://os.mbed.com/users/kenjiArai/
  *      Created:    July      17th, 2019
- *      Revised:    August    17th, 2019
+ *      Revised:    December  24th, 2019
  */
 
 #include "mbed.h"
 
-//    RUN ONLY ON mbed-os5.13.3
-//      https://github.com/ARMmbed/mbed-os/releases/tag/mbed-os-5.13.3
+//    RUN ONLY ON mbed-os5.15.0
+//      https://github.com/ARMmbed/mbed-os/releases/tag/mbed-os-5.15.0
 #if (MBED_MAJOR_VERSION == 5) &&\
-    (MBED_MINOR_VERSION == 13) &&\
-    (MBED_PATCH_VERSION == 2)   // Don't set 3 but 2 as of Aug. 17th, 2019
+    (MBED_MINOR_VERSION == 15) &&\
+    (MBED_PATCH_VERSION == 0)
 #else
-    //#warning "Please use Mbed-os5.13.3"
-    #error "Please use Mbed-os5.13.3"
+    //#warning "Please use Mbed-os5.15.0"
+    #error "Please use Mbed-os5.15.0"
 #endif
\ No newline at end of file