Fixed win32 troubles with f.readsome()

1 files changed, 16 insertions, 0 deletions

diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 921f2b38..a40ad437 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -166,6 +166,22 @@ bool patmatch(const char *pattern, const char *string)
 	return false;
 }
 
+int readsome(std::istream &f, char *s, int n)
+{
+	int rc = f.readsome(s, n);
+
+	// win32 sometimes returns 0 on a non-empty stream..
+	if (rc == 0) {
+		int c = f.get();
+		if (c != EOF) {
+			*s = c;
+			rc = 1;
+		}
+	}
+
+	return rc;
+}
+
 int GetSize(RTLIL::Wire *wire)
 {
 	return wire->width;