diff options
| author | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-10 14:37:14 +0100 |
|---|---|---|
| committer | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-10 14:37:14 +0100 |
| commit | 9327d434d522f888609e5f4a42a6e06f01864e79 (patch) | |
| tree | 4d62bbd0011f984c86bb33289ba1904c8baf6439 | |
| parent | f6579282d73aec055e2fc4ebebd1b6313da248fd (diff) | |
| download | yosys-9327d434d522f888609e5f4a42a6e06f01864e79.tar.gz yosys-9327d434d522f888609e5f4a42a6e06f01864e79.tar.bz2 yosys-9327d434d522f888609e5f4a42a6e06f01864e79.zip | |
- README: fix typo in sed-command for minisat-include fix.
| -rw-r--r-- | README | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -292,7 +292,7 @@ a recent version of gcc: This is a bug in the minisat header. It can be fixed by adding spaces before and after each occurrence of PRIi64 in the header file: - sudo sed -i 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h + sudo sed -i -e 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h Roadmap / Large-scale TODOs |