summaryrefslogtreecommitdiff
path: root/ext/dsent/configs
diff options
context:
space:
mode:
authorSteve Reinhardt <steve.reinhardt@amd.com>2015-03-23 16:14:18 -0700
committerSteve Reinhardt <steve.reinhardt@amd.com>2015-03-23 16:14:18 -0700
commit5302305255732ddde8c88174a91d0e4ab56e7750 (patch)
treecadaae1f9ffba2c328c013a9fe1df939b3b507f5 /ext/dsent/configs
parentbcea57afc38e6ae852ffa7df9f5fcab63e92ff0d (diff)
downloadgem5-5302305255732ddde8c88174a91d0e4ab56e7750.tar.xz
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.
Diffstat (limited to 'ext/dsent/configs')
0 files changed, 0 insertions, 0 deletions