summaryrefslogtreecommitdiff
path: root/serverboot
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1999-03-06 23:14:59 +0000
committerRoland McGrath <roland@gnu.org>1999-03-06 23:14:59 +0000
commit33e7111a057a31c8ce3ca2debe1cdf703f08b623 (patch)
tree2dec06b785103832ab2fcb0a8498c5e9f7148d32 /serverboot
parent700986f050ff3c5f93b9e79979455f7e32a28d6e (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.c2
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