misc: quote args in echoed command line
authorSteve Reinhardt <steve.reinhardt@amd.com>
Mon, 23 Mar 2015 23:14:18 +0000 (16:14 -0700)
committerSteve Reinhardt <steve.reinhardt@amd.com>
Mon, 23 Mar 2015 23:14:18 +0000 (16:14 -0700)
commit5302305255732ddde8c88174a91d0e4ab56e7750
treecadaae1f9ffba2c328c013a9fe1df939b3b507f5
parentbcea57afc38e6ae852ffa7df9f5fcab63e92ff0d
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.
src/python/m5/main.py