workaround for OpenBSD 'stdin' implementation

This commit is contained in:
Clifford Wolf 2014-05-02 13:22:26 +02:00
parent f7e9056a93
commit 75a5d6bd1e
1 changed files with 2 additions and 1 deletions

View File

@ -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);