diff options
author | Roland McGrath <roland@gnu.org> | 1999-03-06 23:14:59 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1999-03-06 23:14:59 +0000 |
commit | 9737205c6438925b48271bfbe98fe7532822ea86 (patch) | |
tree | 3e36ef01239b5d609d937dae1c844c39461a4f9f /serverboot | |
parent | da4a1132e7beff676c24b0c8c60301c9a2084e78 (diff) |
1999-03-06 Roland McGrath <roland@baalperazim.frob.com>
* def_pager_setup.c (default_pager_setup): #if 0 out unused function.
Diffstat (limited to 'serverboot')
-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 |