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/def_pager_setup.c | |
| 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/def_pager_setup.c')
| -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 |