From 03fcf059c9adef275dc3d6ff105a1359b047be51 Mon Sep 17 00:00:00 2001 From: Alex Shinn Date: Wed, 19 Jun 2013 23:20:31 +0900 Subject: [PATCH] -r also works together with -e/-p options --- main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.c b/main.c index 225871a0..6e43e8ca 100644 --- a/main.c +++ b/main.c @@ -467,7 +467,7 @@ void run_main (int argc, char **argv) { } done_options: - if (! quit) { + if (!quit || main_symbol != NULL) { load_init(); /* build argument list */ if (i < argc)