3940 |
arg = skip_to (0, arg); |
arg = skip_to (0, arg); |
3941 |
} |
} |
3942 |
|
|
3943 |
|
#ifdef SUPPORT_SERIAL |
3944 |
/* If a seial console is turned on, wait until the user pushes any key. */ |
/* If a seial console is turned on, wait until the user pushes any key. */ |
3945 |
if (terminal & TERMINAL_SERIAL) |
if (terminal & TERMINAL_SERIAL) |
3946 |
{ |
{ |
3985 |
/* Expired. */ |
/* Expired. */ |
3986 |
terminal &= (default_terminal | TERMINAL_DUMB); |
terminal &= (default_terminal | TERMINAL_DUMB); |
3987 |
} |
} |
3988 |
|
#endif /* SUPPORT_SERIAL */ |
3989 |
|
|
3990 |
return 0; |
return 0; |
3991 |
} |
} |