From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 2 May 2014 11:22:26 +0000 (+0200)
Subject: workaround for OpenBSD 'stdin' implementation
X-Git-Tag: yosys-0.3.0~23
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=75a5d6bd1ec6f23e508a52d04a6e384d247efd90;p=yosys.git

workaround for OpenBSD 'stdin' implementation
---

diff --git a/kernel/register.cc b/kernel/register.cc
index 511afaac0..cb8ad473c 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -306,7 +306,8 @@ void Frontend::frontend_call(RTLIL::Design *design, FILE *f, std::string filenam
 	if (f != NULL) {
 		frontend_register[args[0]]->execute(f, filename, args, design);
 	} else if (filename == "-") {
-		frontend_register[args[0]]->execute(stdin, "<stdin>", args, design);
+		FILE *f_stdin = stdin; // workaround for OpenBSD 'stdin' implementation
+		frontend_register[args[0]]->execute(f_stdin, "<stdin>", args, design);
 	} else {
 		if (!filename.empty())
 			args.push_back(filename);