diff options
Diffstat (limited to 'src/sim/main.cc')
| -rw-r--r-- | src/sim/main.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sim/main.cc b/src/sim/main.cc index 9f9a56450..13850f255 100644 --- a/src/sim/main.cc +++ b/src/sim/main.cc @@ -82,6 +82,7 @@ volatile bool async_dumpreset = false; volatile bool async_exit = false; volatile bool async_io = false; volatile bool async_alarm = false; +volatile bool async_exception = false; /// Stats signal handler. void @@ -371,6 +372,11 @@ simulate(Tick num_cycles = MaxTick) async_alarm = false; pollQueue.service(); } + + if (async_exception) { + async_exception = false; + return NULL; + } } } |