diff options
| author | Sascha Hauer <s.hauer@pengutronix.de> | 2009-02-21 01:22:48 +0100 |
|---|---|---|
| committer | Sascha Hauer <s.hauer@pengutronix.de> | 2009-03-19 12:21:24 +0100 |
| commit | 8a2e721fc56e848f182dddb9e494ed284e382d09 (patch) | |
| tree | ea532df269b3708aa9c8f584588f022cbd11a01c /include/stdio.h | |
| parent | 0b5a776c1e9cc6dec8d5fa6d2f97eb8f19d3d325 (diff) | |
| download | barebox-8a2e721fc56e848f182dddb9e494ed284e382d09.tar.gz barebox-8a2e721fc56e848f182dddb9e494ed284e382d09.tar.xz | |
Flush consoles before exiting
We use FIFOs on some devices, so flush them before exiting so
we do not get funny characters in the output.
Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>
Diffstat (limited to 'include/stdio.h')
| -rw-r--r-- | include/stdio.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/stdio.h b/include/stdio.h index ce53c97fdf..7a6d9cb56e 100644 --- a/include/stdio.h +++ b/include/stdio.h @@ -18,6 +18,7 @@ int tstc(void); void console_putc(unsigned int ch, const char c); int getc(void); void console_puts(unsigned int ch, const char *s); +void console_flush(void); static inline void puts(const char *s) { console_puts(CONSOLE_STDOUT, s); |