Leave some time to see what's going on.

diff --git a/src/core/main.c b/src/core/main.c
index bf0a4b0e3600ec9e8fd2caea0aafe9a70702cca0..01e616c83fcf711c067a0b809fad6c9586267d68 100644 (file)
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -184,6 +184,7 @@ int main ( void ) {
                if ( ! find_boot_device ( &dev ) ) {
                        /* Reached end of device list */
                        printf ( "No more boot devices\n" );
+                       sleep ( 2 );
                        continue;
                }