diff options
| -rw-r--r-- | serverboot/default_pager.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index 198bb224..d5dbcf9b 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -48,7 +48,7 @@ #include <assert.h> #include <stdio.h> -#include "file_io.h" +#include <file_io.h> #define debug 0 @@ -206,9 +206,10 @@ new_partition (const char *name, struct file_direct *fdp, if (check_linux_signature < 0) { - printf("(default pager): " - "Paging to raw partition %s (%uk paging space)\n", - name, part->total_size * (vm_page_size / 1024)); + if (check_linux_signature != -3) + printf("(default pager): " + "Paging to raw partition %s (%uk paging space)\n", + name, part->total_size * (vm_page_size / 1024)); return part; } |