diff options
author | Roland McGrath <roland@gnu.org> | 1999-05-15 23:16:43 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1999-05-15 23:16:43 +0000 |
commit | 309323dc55546fd823282b0836f29d77fb77ea23 (patch) | |
tree | 246fdb4912c344d29d6fe7281d788462784fa362 | |
parent | de0159a3cd4dbf0dbd05e591c7aacd3b8d2ffa85 (diff) |
1999-05-15 Roland McGrath <roland@baalperazim.frob.com>
* servers.boot: Remove obsolete $(default-pager) tag.
-rw-r--r-- | release/servers.boot | 4 |
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) |