diff options
Diffstat (limited to 'ports/unix/main.c')
| -rw-r--r-- | ports/unix/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/unix/main.c b/ports/unix/main.c index 5251fe8ae..c38b7b0c2 100644 --- a/ports/unix/main.c +++ b/ports/unix/main.c @@ -657,7 +657,7 @@ MP_NOINLINE int main_(int argc, char **argv) { inspect = true; } if (ret == NOTHING_EXECUTED || inspect) { - if (isatty(0)) { + if (isatty(0) || inspect) { prompt_read_history(); ret = do_repl(); prompt_write_history(); |