Merge pull request #77 from ARMmbed/version_non_rtos

Incorrect version number was checked for non-rtos config
pull/7774/head
Deepika 2018-01-03 12:48:45 -06:00 committed by GitHub
commit 6f2a5eec84
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -148,9 +148,9 @@
#include <errno.h>
/* Required version: 5.6.1 and above */
#ifdef MBED_MAJOR_VERSION
#if defined(MBED_MAJOR_VERSION) && MBED_MAJOR_VERSION >= 5
#if (MBED_VERSION < MBED_ENCODE_VERSION(5,6,1))
#error "Incompatible mbed-os version detected! Required 5.5.4 and above"
#error "Incompatible mbed-os version detected! Required 5.6.1 and above"
#endif
#else
#warning "mbed-os version 5.6.1 or above required"