mirror of
https://github.com/YosysHQ/yosys
synced 2025-11-23 14:11:28 +00:00
driver: move IdString collection to yosys_shutdown
This commit is contained in:
parent
abc78f0424
commit
65d7d70507
2 changed files with 1 additions and 1 deletions
|
|
@ -158,7 +158,6 @@ extern "C" {
|
||||||
|
|
||||||
void yosys_atexit()
|
void yosys_atexit()
|
||||||
{
|
{
|
||||||
RTLIL::OwningIdString::collect_garbage(false);
|
|
||||||
#if defined(YOSYS_ENABLE_READLINE) || defined(YOSYS_ENABLE_EDITLINE)
|
#if defined(YOSYS_ENABLE_READLINE) || defined(YOSYS_ENABLE_EDITLINE)
|
||||||
if (!yosys_history_file.empty()) {
|
if (!yosys_history_file.empty()) {
|
||||||
#if defined(YOSYS_ENABLE_READLINE)
|
#if defined(YOSYS_ENABLE_READLINE)
|
||||||
|
|
|
||||||
|
|
@ -260,6 +260,7 @@ void yosys_shutdown()
|
||||||
|
|
||||||
delete yosys_design;
|
delete yosys_design;
|
||||||
yosys_design = NULL;
|
yosys_design = NULL;
|
||||||
|
RTLIL::OwningIdString::collect_garbage();
|
||||||
|
|
||||||
for (auto f : log_files)
|
for (auto f : log_files)
|
||||||
if (f != stderr)
|
if (f != stderr)
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue