Merge pull request #12550 from rajkan01/mbedint_remove_deprecated

Remove mbed interface deprecated API
pull/12513/head
Martin Kojtal 2020-03-04 08:22:27 +00:00 committed by GitHub
commit b611de8b6b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 9 deletions

View File

@ -177,10 +177,6 @@ void mbed_error_vprintf(const char *format, va_list arg) MBED_PRINTF(1, 0);
*/
void mbed_error_puts(const char *str);
/** @deprecated Renamed to mbed_error_vprintf to match functionality */
MBED_DEPRECATED_SINCE("mbed-os-5.11",
"Renamed to mbed_error_vprintf to match functionality.")
void mbed_error_vfprintf(const char *format, va_list arg) MBED_PRINTF(1, 0);
/** @}*/

View File

@ -112,8 +112,3 @@ void mbed_error_puts(const char *str)
#endif
core_util_critical_section_exit();
}
void mbed_error_vfprintf(const char *format, va_list arg)
{
mbed_error_vprintf(format, arg);
}