diff options
Diffstat (limited to 'src/cmd/shell/shell.c')
| -rw-r--r-- | src/cmd/shell/shell.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/cmd/shell/shell.c b/src/cmd/shell/shell.c index 9afdb5c..15cb6ed 100644 --- a/src/cmd/shell/shell.c +++ b/src/cmd/shell/shell.c @@ -139,10 +139,14 @@ static void run(char *cmd) { } } +static void intr(struct intr_data *intr) { + fprintf(stderr, "%s: got interrupt: %s\n", getprogname(), intr->msg); +} + int main(int argc, char **argv) { static char buf[256]; FILE *f = stdin; - intr_set(NULL); + intr_set(intr); if (argc > 1) { f = fopen(argv[1], "r"); |