diff options
author | Kevin Mills <kevin.mills@sifive.com> | 2019-01-29 07:23:01 -0800 |
---|---|---|
committer | Kevin Mills <kevin.mills@sifive.com> | 2019-01-29 07:23:01 -0800 |
commit | 11658f2830316dc9afa9675c4bdec6af8f501a33 (patch) | |
tree | a4cb104a92f11279217be9a6f39e20c72638600b /software/example-pmp | |
parent | c5277fc5fbebcacbe7f927c5914be485d6f76ccd (diff) |
Remove '-r' from sed command (not required and does not work on MacOS). Remove 'echo Done', no longer needed.
Diffstat (limited to 'software/example-pmp')
0 files changed, 0 insertions, 0 deletions