diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/register.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index 9f6fe37d3..4575e4091 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -158,6 +158,8 @@ void Pass::call(RTLIL::Design *design, std::string command) args.clear(); if (num_semikolon == 2) call(design, "clean"); + if (num_semikolon == 3) + call(design, "clean -purge"); } else args.push_back(str); } |