[PATCH] Fix bug when POKE_MI is undefined.

[John Darrington]

commit 35c3b78e85def965424f68eff0dac7a1dd7a2783 introduced a new
macro POKE_MI.  But unfortunately it changed the behaviour when
this macro was not defined.  This change fixes that.

A better fix would eschew POKE_MI altogether, since poke_mi_p does
the same thing.
---
 poke/poke.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/poke/poke.c b/poke/poke.c
index 7ef720bc..97608f52 100644
--- a/poke/poke.c
+++ b/poke/poke.c
@@ -578,9 +578,10 @@ main (int argc, char *argv[])
       if (!pk_mi ())
         poke_exit_code = EXIT_FAILURE;
     }
-  else if (poke_interactive_p)
+  else
 #endif
-    pk_repl ();
+    if (poke_interactive_p)
+      pk_repl ();
 
   /* Cleanup.  */
   finalize ();
-- 
2.20.1