diff options
| author | Josh Headapohl <joshhead@gmail.com> | 2017-02-23 20:21:03 -0500 |
|---|---|---|
| committer | Josh Headapohl <joshhead@gmail.com> | 2017-02-23 20:21:03 -0500 |
| commit | fde9fdfbe847afa6b795720689074b0a9d3e43b7 (patch) | |
| tree | 6cf88e7fbc78158c899658fc37f4896bcc25b8d3 /backends/smt2/smtio.py | |
| parent | 00dba4c197b7e3b6c1d1f7b90ae7b1e6172b1e5f (diff) | |
| download | yosys-fde9fdfbe847afa6b795720689074b0a9d3e43b7.tar.gz yosys-fde9fdfbe847afa6b795720689074b0a9d3e43b7.tar.bz2 yosys-fde9fdfbe847afa6b795720689074b0a9d3e43b7.zip | |
Add missing slashes in paths for make uninstall
Running make uninstall used to fail to remove binaries:
rm -vf /usr/local/binyosys /usr/local/binyosys-config #...etc
Fix Makefile so that it runs a command like this:
rm -vf /usr/local/bin/yosys /usr/local/bin/yosys-config #...etc
Diffstat (limited to 'backends/smt2/smtio.py')
0 files changed, 0 insertions, 0 deletions