diff options
| -rw-r--r-- | tools/mirb/mirb.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/mirb/mirb.c b/tools/mirb/mirb.c index 459923768..59e5046cb 100644 --- a/tools/mirb/mirb.c +++ b/tools/mirb/mirb.c @@ -162,7 +162,8 @@ main(void) last_code_line[char_index] = '\0'; - if (strcmp(last_code_line, "quit") == 0) { + if ((strcmp(last_code_line, "quit") == 0) || + (strcmp(last_code_line, "exit") == 0)) { if (code_block_open) { /* cancel the current block and reset */ code_block_open = FALSE; |
