From a5a519a9d15f188b93723c84890d6005d2e9c4be Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 3 May 2014 12:55:56 +0200
Subject: [PATCH] workaround for OpenBSD 'stdout' implementation

---
 kernel/register.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/kernel/register.cc b/kernel/register.cc
index cb8ad473c..5d882ab43 100644
--- a/kernel/register.cc
+++ b/kernel/register.cc
@@ -400,7 +400,8 @@ void Backend::backend_call(RTLIL::Design *design, FILE *f, std::string filename,
 	if (f != NULL) {
 		backend_register[args[0]]->execute(f, filename, args, design);
 	} else if (filename == "-") {
-		backend_register[args[0]]->execute(stdout, "<stdout>", args, design);
+		FILE *f_stdout = stdout; // workaround for OpenBSD 'stdout' implementation
+		backend_register[args[0]]->execute(f_stdout, "<stdout>", args, design);
 	} else {
 		if (!filename.empty())
 			args.push_back(filename);