diff options
Diffstat (limited to 'src/cmd/shell/shell.c')
| -rw-r--r-- | src/cmd/shell/shell.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cmd/shell/shell.c b/src/cmd/shell/shell.c index b5ad907..724c018 100644 --- a/src/cmd/shell/shell.c +++ b/src/cmd/shell/shell.c @@ -141,6 +141,7 @@ static void run(char *cmd) { int main(int argc, char **argv) { static char buf[256]; FILE *f = stdin; + intr_set(NULL); if (argc > 1) { f = fopen(argv[1], "r"); |