From 1f517d2b96eb114f156317fb104ec7fc4d3abccc Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 20 Jun 2017 05:26:12 +0200 Subject: [PATCH] Fix history namespace collision --- kernel/driver.cc | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/kernel/driver.cc b/kernel/driver.cc index 0d331712c..1fe61b499 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -120,19 +120,19 @@ const char *prompt() #else /* EMSCRIPTEN */ #ifdef YOSYS_ENABLE_READLINE -int history_offset = 0; -std::string history_file; +int yosys_history_offset = 0; +std::string yosys_history_file; #endif void yosys_atexit() { #ifdef YOSYS_ENABLE_READLINE - if (!history_file.empty()) { - if (history_offset > 0) { - history_truncate_file(history_file.c_str(), 100); - append_history(where_history() - history_offset, history_file.c_str()); + if (!yosys_history_file.empty()) { + if (yosys_history_offset > 0) { + history_truncate_file(yosys_history_file.c_str(), 100); + append_history(where_history() - yosys_history_offset, yosys_history_file.c_str()); } else - write_history(history_file.c_str()); + write_history(yosys_history_file.c_str()); } clear_history(); @@ -161,9 +161,9 @@ int main(int argc, char **argv) #ifdef YOSYS_ENABLE_READLINE if (getenv("HOME") != NULL) { - history_file = stringf("%s/.yosys_history", getenv("HOME")); - read_history(history_file.c_str()); - history_offset = where_history(); + yosys_history_file = stringf("%s/.yosys_history", getenv("HOME")); + read_history(yosys_history_file.c_str()); + yosys_history_offset = where_history(); } #endif -- 2.30.2