# Node ID cbbf130c862ce7b2fff690dca10cd316bf8139fd # Parent 655ff3f6352d7aa4021f8840b68698b277772806 diff --git a/src/python/m5/main.py b/src/python/m5/main.py --- a/src/python/m5/main.py +++ b/src/python/m5/main.py @@ -293,9 +293,9 @@ datetime.datetime.now().strftime("%b %e %Y %X") print "gem5 executing on %s" % socket.gethostname() - print "command line:", - for argv in sys.argv: - print argv, + # in Python 3 pipes.quote() is moved to shlex.quote() + import pipes + print "command line:", " ".join(map(pipes.quote, sys.argv)) print # check to make sure we can find the listed script