diff options
| -rw-r--r-- | src/python/m5/main.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/python/m5/main.py b/src/python/m5/main.py index a757aaf1a..293c4dbca 100644 --- a/src/python/m5/main.py +++ b/src/python/m5/main.py @@ -246,6 +246,10 @@ def main(): print "M5 compiled %s" % cc_main.cvar.compileDate; print "M5 started %s" % datetime.now().ctime() print "M5 executing on %s" % socket.gethostname() + print "command line:", + for argv in sys.argv: + print argv, + print # check to make sure we can find the listed script if not arguments or not os.path.isfile(arguments[0]): |