--- trunk/grubby/grubby.c 2013/10/21 13:55:49 2249 +++ trunk/grubby/grubby.c 2013/10/21 13:56:22 2250 @@ -4254,6 +4254,7 @@ } else if (displayDefaultIndex) { if (config->defaultImage == -1) return 0; printf("%i\n", config->defaultImage); + return 0; } else if (kernelInfo) return displayInfo(config, kernelInfo, bootPrefix);