diff options
| -rw-r--r-- | src/python/m5/main.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/python/m5/main.py b/src/python/m5/main.py index 700aae3d3..09bf7e92b 100644 --- a/src/python/m5/main.py +++ b/src/python/m5/main.py @@ -291,7 +291,8 @@ def main(*args): print "gem5 started %s" % \ datetime.datetime.now().strftime("%b %e %Y %X") - print "gem5 executing on %s" % socket.gethostname() + print "gem5 executing on %s, pid %d" % \ + (socket.gethostname(), os.getpid()) # in Python 3 pipes.quote() is moved to shlex.quote() import pipes |