diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-05-03 12:55:56 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-05-03 12:55:56 +0200 |
| commit | a5a519a9d15f188b93723c84890d6005d2e9c4be (patch) | |
| tree | 916b990b3e374fe711dff079af94219f1d963c98 /kernel/register.cc | |
| parent | 75a5d6bd1ec6f23e508a52d04a6e384d247efd90 (diff) | |
workaround for OpenBSD 'stdout' implementation
Diffstat (limited to 'kernel/register.cc')
| -rw-r--r-- | kernel/register.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index cb8ad473..5d882ab4 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); |