diff options
| author | Roland McGrath <roland@gnu.org> | 2001-02-28 08:32:56 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 2001-02-28 08:32:56 +0000 |
| commit | c4a53b359c763a34b61e6803295cc0ea45ea25c5 (patch) | |
| tree | faca16bd2ff63dda0581c74507af92b8a0face68 /serverboot | |
| parent | 60423ee8b51b67287e14a0c68c85ed34991d8f72 (diff) | |
2001-02-28 Roland McGrath <roland@frob.com>
* default_pager.c: Use <file_io.h> instead of "file_io.h",
so mach-defpager gets its own version when it uses this source file.
(new_partition): If CHECK_LINUX_SIGNATURE arg is -3, don't print out.
Diffstat (limited to 'serverboot')
| -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; } |