aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/log.cc
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/log.cc')
-rw-r--r--kernel/log.cc7
1 files changed, 7 insertions, 0 deletions
diff --git a/kernel/log.cc b/kernel/log.cc
index a7820950c..1a2c89a9c 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -420,6 +420,13 @@ void log_pop()
log_flush();
}
+void log_checkpoint()
+{
+ log_id_cache.clear();
+ IdString::checkpoint();
+ log_flush();
+}
+
#if (defined(__linux__) || defined(__FreeBSD__)) && defined(YOSYS_ENABLE_PLUGINS)
void log_backtrace(const char *prefix, int levels)
{