From d2555af2699c4cafd4a705ddebbc04b83ab78417 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cenk=20G=C3=BCndo=C4=9Fan?= Date: Thu, 14 Jan 2016 21:31:13 +0100 Subject: [PATCH] sc_random.c: use a default seed if no xtimer is present --- sys/shell/commands/sc_random.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sys/shell/commands/sc_random.c b/sys/shell/commands/sc_random.c index a15b4421ce..0e1d7c8cd9 100644 --- a/sys/shell/commands/sc_random.c +++ b/sys/shell/commands/sc_random.c @@ -40,7 +40,9 @@ int _random_init(int argc, char **argv) printf("PRNG initialized to current time: %d\n", initval); #else (void)initval; - printf("xtimer module not compiled in, can't initialize by time.\n"); + puts("xtimer module not compiled in, can't initialize by time.\n" + "Please provide a seed.\n"); + return 1; #endif } else {