Index: uspace/lib/libc/include/console.h
===================================================================
--- uspace/lib/libc/include/console.h	(revision 4482bc7dd7bb058b7f0db7a9caf5a892cca5a820)
+++ uspace/lib/libc/include/console.h	(revision 3c0a8416b0b38e3e99331a1db2b3a580b40cef51)
@@ -53,4 +53,5 @@
 extern void console_putstr(const char *s);
 extern void console_flush(void);
+extern void console_flush_optional(void);
 
 extern int console_get_size(int *, int *);