summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--serverboot/default_pager.c9
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;
}