projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: f657928)
- README: fix typo in sed-command for minisat-include fix.
authorSiesh1oo <siesh1oo@siesh1oo.no>
Mon, 10 Mar 2014 13:37:14 +0000 (14:37 +0100)
committerSiesh1oo <siesh1oo@siesh1oo.no>
Mon, 10 Mar 2014 13:37:14 +0000 (14:37 +0100)
README patch | blob | history

diff --git a/README b/README
index 385ee2c0afad63f737b3b3c2f0d7b3b2bc4b0e71..45febc2f9cc98ecdaa23b691cff920c91c6db55a 100644 (file)
--- a/README
+++ b/README
@@ -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