| 816 | } |
| 817 | |
| 818 | static void debug_error_( const char * message ) |
| 819 | { |
| 820 | if ( debug_interface == DEBUG_INTERFACE_CONSOLE ) |
| 821 | { |
| 822 | printf( "%s\n", message ); |
| 823 | } |
| 824 | else if ( debug_interface == DEBUG_INTERFACE_MI ) |
| 825 | { |
| 826 | debug_mi_error( message ); |
| 827 | } |
| 828 | } |
| 829 | |
| 830 | static const char * debug_format_message( const char * format, va_list vargs ) |
| 831 | { |
no test coverage detected