diff options
| author | Jannis Harder <me@jix.one> | 2022-12-02 15:29:10 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-12-02 15:50:41 +0100 |
| commit | 0f7b8b8d23b4f5ba6a4d0f37c821a8935cd0e508 (patch) | |
| tree | b7559dce9a6ffdf5e95c6349f9ff6c5e1861913e /kernel/driver.cc | |
| parent | 5524d5185d0d10246fb5410025c39e458e1a9abb (diff) | |
| download | yosys-0f7b8b8d23b4f5ba6a4d0f37c821a8935cd0e508.tar.gz yosys-0f7b8b8d23b4f5ba6a4d0f37c821a8935cd0e508.tar.bz2 yosys-0f7b8b8d23b4f5ba6a4d0f37c821a8935cd0e508.zip | |
tcl: Don't exit repl on recoverable command errors
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index aa90802c9..a89c790d9 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -205,6 +205,7 @@ extern char yosys_path[PATH_MAX]; #ifdef YOSYS_ENABLE_TCL namespace Yosys { extern int yosys_tcl_iterp_init(Tcl_Interp *interp); + extern void yosys_tcl_activate_repl(); }; #endif @@ -584,6 +585,7 @@ int main(int argc, char **argv) if (run_tcl_shell) { #ifdef YOSYS_ENABLE_TCL + yosys_tcl_activate_repl(); Tcl_Main(argc, argv, yosys_tcl_iterp_init); #else log_error("Can't exectue TCL shell: this version of yosys is not built with TCL support enabled.\n"); |