From c0ca99483c1c0966305ced16a9a7e00e4c5ecce0 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 20 Jun 2017 04:41:58 +0200
Subject: Store command history when terminating with an error

---
 kernel/log.cc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'kernel/log.cc')

diff --git a/kernel/log.cc b/kernel/log.cc
index c7240d540..3768922cd 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -52,6 +52,7 @@ bool log_cmd_error_throw = false;
 bool log_quiet_warnings = false;
 int log_verbose_level;
 string log_last_error;
+void (*log_error_atexit)() = NULL;
 
 vector<int> header_count;
 pool<RTLIL::IdString> log_id_cache;
@@ -244,6 +245,9 @@ void logv_error(const char *format, va_list ap)
 	log("ERROR: %s", log_last_error.c_str());
 	log_flush();
 
+	if (log_error_atexit)
+		log_error_atexit();
+
 #ifdef EMSCRIPTEN
 	log_files = backup_log_files;
 	throw 0;
-- 
cgit v1.2.3