diff options
| -rw-r--r-- | serverboot/def_pager_setup.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/serverboot/def_pager_setup.c b/serverboot/def_pager_setup.c index cd72acea..194f0355 100644 --- a/serverboot/def_pager_setup.c +++ b/serverboot/def_pager_setup.c @@ -92,6 +92,7 @@ remove_paging_file(file_name) return kr; } +#if 0 /* no longer used */ /* * Set up default pager */ @@ -135,3 +136,4 @@ default_pager_setup(master_device_port, server_dir_name) return TRUE; } +#endif |