diff options
| -rw-r--r-- | src/python/m5/main.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/python/m5/main.py b/src/python/m5/main.py index fd58ce500..cd139ccb3 100644 --- a/src/python/m5/main.py +++ b/src/python/m5/main.py @@ -360,8 +360,13 @@ def main(): # once the script is done if options.interactive: - interact = code.InteractiveConsole(scope) - interact.interact("M5 Interactive Console") + banner = "M5 Interactive Console" + try: + from IPython.Shell import IPShellEmbed + ipshell = IPShellEmbed(banner=banner,user_ns=scope) + ipshell() + except ImportError: + code.InteractiveConsole(scope).interact(banner) if __name__ == '__main__': from pprint import pprint |