diff options
| author | Roland McGrath <roland@gnu.org> | 1999-05-30 03:01:22 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1999-05-30 03:01:22 +0000 |
| commit | f49930e98d8013c4835d1f1300db516a69cec4cc (patch) | |
| tree | 0141c424ab7638bda97c25b9d924a887a5b0ba68 /benchmarks | |
| parent | b09374d04a6576e3746f4efc4a34735294f8270c (diff) | |
1999-05-29 Roland McGrath <roland@baalperazim.frob.com>
* bootstrap.c (main): Define $(serverboot) function for "serverboot
controls", control command replacing the pathname. For command "die",
terminate ourselves after running the boot script, no default pager.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions