summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1999-05-15 23:16:43 +0000
committerRoland McGrath <roland@gnu.org>1999-05-15 23:16:43 +0000
commit309323dc55546fd823282b0836f29d77fb77ea23 (patch)
tree246fdb4912c344d29d6fe7281d788462784fa362
parentde0159a3cd4dbf0dbd05e591c7aacd3b8d2ffa85 (diff)
1999-05-15 Roland McGrath <roland@baalperazim.frob.com>
* servers.boot: Remove obsolete $(default-pager) tag.
-rw-r--r--release/servers.boot4
1 files changed, 2 insertions, 2 deletions
diff --git a/release/servers.boot b/release/servers.boot
index fa6932bd..3e1895de 100644
--- a/release/servers.boot
+++ b/release/servers.boot
@@ -8,9 +8,9 @@
# Now the exec server; to load the dynamically-linked exec server program,
# we have the boot loader in fact load and run ld.so, which in turn
# loads and runs /hurd/exec. This task is created, and its task port saved
-# in ${exec-task} to be passed to the fs above, but it is left suspended;
+# in ${exec-task} to be passed to the fs above, but it is left suspended;
# the fs will resume the exec task once it is ready.
/lib/ld.so.1 /hurd/exec $(exec-task=task-create)
# default pager
-/dev/sd0b $(add-paging-file) $(default-pager)
+/dev/sd0b $(add-paging-file)