Fix history namespace collision

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 0d331712cef2d2574a15784442e3a127cfca89cf..1fe61b499304ef0d3371a9aaec005b30b0ded30f 100644 (file)
--- 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