int board_init(void)
{
- if (ctrlc()) {
+ if (ctrlc())
printf("CTRL-C detected; safeboot enabled\n");
- return 1;
- }
/* Address of boot parameters */
#ifdef CONFIG_OF_LIBFDT
} else {
printf("WARNING: Unsupported baseboard: '%s'\n",
baseboard);
- ret = -EINVAL;
+ if (!had_ctrlc())
+ ret = -EINVAL;
}
exit: