diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/register.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index da3569831..4569481fa 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -376,7 +376,9 @@ void Frontend::frontend_call(RTLIL::Design *design, FILE *f, std::string filenam design->check(); } -Backend::Backend(std::string name, std::string short_help) : Pass("write_"+name, short_help), backend_name(name) +Backend::Backend(std::string name, std::string short_help) : + Pass(name.substr(0, 1) == "=" ? name.substr(1) : "write_"+name, short_help), + backend_name(name.substr(0, 1) == "=" ? name.substr(1) : name) { } |