diff options
Diffstat (limited to 'src/dev/terminal.cc')
| -rw-r--r-- | src/dev/terminal.cc | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/dev/terminal.cc b/src/dev/terminal.cc index 18c9945bc..47f280ad3 100644 --- a/src/dev/terminal.cc +++ b/src/dev/terminal.cc @@ -97,12 +97,8 @@ Terminal::Terminal(const Params *p) , linebuf(16384) #endif { - if (!p->output.empty()) { - if (p->append_name) - outfile = simout.find(p->output + "." + p->name); - else - outfile = simout.find(p->output); - + if (p->output) { + outfile = simout.find(p->name); outfile->setf(ios::unitbuf); } |