misc: quote args in echoed command line
Review Request #2688 - Created March 14, 2015 and submitted
| Information | |
|---|---|
| Steve Reinhardt | |
| gem5 | |
| default | |
| Reviewers | |
| Default | |
Changeset 10742:cbbf130c862c --------------------------- 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.
Ship It!