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 | 33e7111a057a31c8ce3ca2debe1cdf703f08b623 (patch) | |
tree | 2dec06b785103832ab2fcb0a8498c5e9f7148d32 /serverboot | |
parent | 700986f050ff3c5f93b9e79979455f7e32a28d6e (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 |