From 75a5d6bd1ec6f23e508a52d04a6e384d247efd90 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 2 May 2014 13:22:26 +0200 Subject: [PATCH] workaround for OpenBSD 'stdin' implementation --- kernel/register.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/kernel/register.cc b/kernel/register.cc index 511afaac0..cb8ad473c 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, "", args, design); + FILE *f_stdin = stdin; // workaround for OpenBSD 'stdin' implementation + frontend_register[args[0]]->execute(f_stdin, "", args, design); } else { if (!filename.empty()) args.push_back(filename); -- 2.30.2