From: Siesh1oo <siesh1oo@siesh1oo.no>
Date: Mon, 10 Mar 2014 13:37:14 +0000 (+0100)
Subject:  - README: fix typo in sed-command for minisat-include fix.
X-Git-Tag: yosys-0.3.0~57^2~1^2~6^2~1^2~9
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9327d434d522f888609e5f4a42a6e06f01864e79;p=yosys.git

 - README: fix typo in sed-command for minisat-include fix.
---

diff --git a/README b/README
index 385ee2c0a..45febc2f9 100644
--- 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