diff options
Diffstat (limited to 'common/devices.c')
| -rw-r--r-- | common/devices.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/common/devices.c b/common/devices.c index 8bd0e64e3f7..615b2171c22 100644 --- a/common/devices.c +++ b/common/devices.c @@ -37,6 +37,11 @@ list_t devlist = 0; device_t *stdio_devices[] = { NULL, NULL, NULL }; char *stdio_names[MAX_FILES] = { "stdin", "stdout", "stderr" }; +#if defined(CONFIG_SPLASH_SCREEN) && !defined(CFG_DEVICE_NULLDEV) +#define CFG_DEVICE_NULLDEV 1 +#endif + + #ifdef CFG_DEVICE_NULLDEV void nulldev_putc(const char c) { |