summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-05-02 13:22:26 +0200
committerClifford Wolf <clifford@clifford.at>2014-05-02 13:22:26 +0200
commit75a5d6bd1ec6f23e508a52d04a6e384d247efd90 (patch)
treebb1f0c8f4a4c58570d3eecc2e04120b5e18447f6 /kernel
parentf7e9056a9394dd37957d8b849f14d21185b49ed8 (diff)
workaround for OpenBSD 'stdin' implementation
Diffstat (limited to 'kernel')
-rw-r--r--kernel/register.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/register.cc b/kernel/register.cc
index 511afaac..cb8ad473 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);