From a5a519a9d15f188b93723c84890d6005d2e9c4be Mon Sep 17 00:00:00 2001 From: Clifford Wolf 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, "", args, design); + FILE *f_stdout = stdout; // workaround for OpenBSD 'stdout' implementation + backend_register[args[0]]->execute(f_stdout, "", args, design); } else { if (!filename.empty()) args.push_back(filename); -- 2.30.2