diff options
| author | Roland McGrath <roland@gnu.org> | 1994-08-16 19:37:28 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1994-08-16 19:37:28 +0000 |
| commit | bf58a0633ca04ece22336cc1bbfb40696b2a7847 (patch) | |
| tree | 02b4f3c824e77caff2eb804368f4dd2236d59129 /init | |
| parent | a2c3443be86b5dc4756a92b6eb1dc114399b5f6c (diff) | |
Formerly init.c.~39~
Diffstat (limited to 'init')
| -rw-r--r-- | init/init.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c index 7431aae9..420c30a2 100644 --- a/init/init.c +++ b/init/init.c @@ -499,6 +499,10 @@ launch_single_user () int fd; volatile int run_dev=1; /* So you can set this from gdb. */ + printf ("Hit t for term, else dev: "); + fflush (stdout); + run_dev = getchar () != 't'; + if (run_dev) /* Run the device server */ termtask = run_for_real (devname, devname, sizeof (devname)); |