From: Steve Reinhardt <steve.reinhardt@amd.com>
Date: Mon, 23 Mar 2015 23:14:18 +0000 (-0700)
Subject: misc: quote args in echoed command line
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5302305255732ddde8c88174a91d0e4ab56e7750;p=gem5.git

misc: quote args in echoed command line

Currently if there are shell special characters in a
command-line argument, you can't copy and paste the
echoed command line onto a shell prompt because the
characters aren't quoted properly.  This patch fixes
that problem.
---

diff --git a/src/python/m5/main.py b/src/python/m5/main.py
index 29459cf64..700aae3d3 100644
--- a/src/python/m5/main.py
+++ b/src/python/m5/main.py
@@ -293,9 +293,9 @@ def main(*args):
             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